Skip to content

Fix ICE while casting a type with error#124997

Merged
bors merged 1 commit intorust-lang:masterfrom
gurry:124848-ice-should-be-sized
May 14, 2024

Commits

Commits on May 11, 2024