Skip to content

use PatKind::Error when an ADT const value has violation#116522

Merged
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-115599
Oct 15, 2023
Merged

use `PatKind::Error` when an ADT const value has violation#116522
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-115599

Commits

Commits on Oct 15, 2023