Sitelet https://github.com/argotorg/fe/pull/1773
Skip to content

Preserve loaded capability carriers in return ABIs - #1773

Draft
sbillig wants to merge 1 commit into
argotorg:masterfrom
sbillig:fix/loaded-return-carriers
Draft

sbillig wants to merge 1 commit into
argotorg:masterfrom
sbillig:fix/loaded-return-carriers

Conversation

@sbillig

@sbillig sbillig commented Oct 4, 2026

Copy link
Copy Markdown
Collaborator

Returning a pointer or native reference loaded through another pointer can retain the container’s return ABI and panic during MIR lowering. Follow semantic load paths through the actual parameter classes so the declaration preserves the loaded pointer’s pointee or native descriptor.

Join the resulting transports across alternatives and preserve typed representations for arbitrary contents. The declaration/body ABI equality check remains strict.

@sbillig
sbillig marked this pull request as draft October 5, 2026 05:00

This branch has not been deployed

No deployments
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.

1 participant