Skip to content

Conversation

@sbillig
Copy link
Collaborator

@sbillig sbillig commented Jan 16, 2026

depends on #1217

@micahscopes
Copy link
Collaborator

Could this be relevant to the optimization stuff happening in #1211 ?

- Monomorphize by-ref trait effect providers by call-site address space, overriding default mem when the provider comes from storage.\n- Fix trait method receiver-space inference to use the trait instantiation’s Self type so storage-backed by-ref receivers generate sload-based code.\n- Update MIR + codegen snapshots.
- Treat receiver address space = memory as the default (no specialization) so method calls don’t force separate *_mem monomorphizations.\n- Canonicalize receiver space in monomorphization/mangling for consistency.\n- Update MIR + Yul snapshots.
@sbillig sbillig marked this pull request as ready for review January 26, 2026 05:10
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