Skip to content

Model TraitBoundWitness: derive Clone-bound evidence from RC-match lowering facts - #8466

Merged
briansrls merged 3 commits into
mainfrom
session/deep-swift-570
Aug 19, 2026
Merged

Model TraitBoundWitness: derive Clone-bound evidence from RC-match lowering facts#8466
briansrls merged 3 commits into
mainfrom
session/deep-swift-570

Fix CI: drop unresolvable v1.compiler.trait_bound_witness import from…

561bf11
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar