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