Skip to content

clarify semantics of ConstantIndex MIR projection#131285

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:mir-projection-sem
Oct 5, 2024

Commits

Commits on Oct 5, 2024