use PatKind::Error when an ADT const value has violation#116522
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 15, 2023
Merged
use PatKind::Error when an ADT const value has violation#116522bors merged 1 commit intorust-lang:masterfrom
PatKind::Error when an ADT const value has violation#116522bors merged 1 commit intorust-lang:masterfrom
