Skip to content

feat: throw an error when export declarations have borrow annotations#13017

Merged
hargoniX merged 1 commit intomasterfrom
hbv/export_error
Mar 20, 2026
Merged

feat: throw an error when export declarations have borrow annotations#13017
hargoniX merged 1 commit intomasterfrom
hbv/export_error

Conversation

@hargoniX
Copy link
Copy Markdown
Contributor

This PR ensures that when a declaration is marked with @[export], the compiler throws an error if
any of its arguments are marked as borrowed.

@hargoniX hargoniX requested a review from leodemoura as a code owner March 20, 2026 23:10
@hargoniX hargoniX added the changelog-compiler Compiler, runtime, and FFI label Mar 20, 2026
@hargoniX hargoniX enabled auto-merge March 20, 2026 23:12
@hargoniX hargoniX added this pull request to the merge queue Mar 20, 2026
Merged via the queue into master with commit e2120d8 Mar 20, 2026
20 of 21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-compiler Compiler, runtime, and FFI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant