bors 2226f19f70 Auto merge of #96808 - cjgillot:impossible-trait, r=compiler-errors ...

Detect trait fulfillment in `subst_and_check_impossible_predicates`

Split from https://github.com/rust-lang/rust/pull/91743
r? `@compiler-errors`

2022-05-10 05:27:54 +00:00

..

src

Auto merge of #96808 - cjgillot:impossible-trait, r=compiler-errors

2022-05-10 05:27:54 +00:00

Cargo.toml

…