Skip to content

mark InterpResult as must_use#131596

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

Commits

Commits on Oct 12, 2024