Skip to content

Conversation

@jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Nov 29, 2025

This PR is preparation for issue #1282

This PR is stacked on top of PR #1354, so that one should be merged first.

This function is intended to be a type of smart constructor, even thought it is currently just a shallow wrapper around the ForeignImportDecl constructor. This will change as we resolve issue #1282.

@jorisdral jorisdral requested a review from edsko November 29, 2025 15:20
@jorisdral jorisdral self-assigned this Nov 29, 2025
This function is intended to be a type of smart constructor, even thought it is
currently just a shallow wrapper around the `ForeignImportDecl` constructor.
This will change as we resolve issue #1282.
@jorisdral jorisdral force-pushed the jdral/foreign-import-decs branch from 891c7cf to 33ec1f8 Compare November 29, 2025 16:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants