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

..

traits

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

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

autoderef.rs

Filter OnceNote in diagnostic infra.

2022-03-20 20:36:26 +01:00

infer.rs

Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"

2021-12-12 12:34:46 +08:00

lib.rs

Stabilize bool::then_some

2022-05-04 13:22:08 +02:00

opaque_types.rs

fix most compiler/ doctests

2022-05-02 17:40:30 -07:00