Matthias Krüger 3a6c5429c2

Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpitits, r=lcnr ...

Don't project specializable RPITIT projection

This effective rejects specialization + RPITIT/AFIT (usages of `impl Trait` in traits) because the implementation is significantly complicated over making regular "default" trait method bodies work.

I have another PR that experimentally fixes all this, but the code may not be worth investing in.

2023-02-27 06:11:51 +01:00

..

solve

Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnr

2023-02-26 12:04:57 +01:00

traits

Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpitits, r=lcnr

2023-02-27 06:11:51 +01:00

errors.rs

errors: generate typed identifiers in each crate

2023-02-22 09:15:53 +00:00

infer.rs

Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obk

2023-02-23 06:18:07 +01:00

lib.rs

errors: generate typed identifiers in each crate

2023-02-22 09:15:53 +00:00