Skip to content

Don't treat negative trait predicates as always knowable#114080

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:negative
Jul 27, 2023

Commits

Commits on Jul 26, 2023