Skip to content

mark InterpResult as must_use#131596

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interp-result-must-use
Oct 12, 2024
Merged

mark InterpResult as must_use#131596
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interp-result-must-use

Commits

Commits on Oct 12, 2024