Skip to content

Fix ICE in redundant_pattern_matching#7471

Merged
bors merged 1 commit intorust-lang:masterfrom
flip1995:ice-7410
Jul 16, 2021
Merged

Fix ICE in redundant_pattern_matching#7471
bors merged 1 commit intorust-lang:masterfrom
flip1995:ice-7410

Commits

Commits on Jul 16, 2021