Only select true errors in impossible_predicates
#141121
Merged
bors merged 1 commit intorust-lang:masterfrom May 17, 2025
Merged
Only select true errors in `impossible_predicates`#141121bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom