Skip to content

interpret: remove an incorrect assertion#103315

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interpret-switchint-ice
Oct 20, 2022

Commits

Commits on Oct 20, 2022