Update InterpCx::project_field to take FieldIdx#142103
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 7, 2025
Merged
Update `InterpCx::project_field` to take `FieldIdx`#142103bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom