Matthias Krüger aac91f75e3

Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnr ...

Try to improve error messages involving aliases in the solver

1. Treat aliases as rigid only if it may not be defined and it's well formed (i.e. for projections, its trait goal is satisfied).
2. Record goals that are related to alias normalization under a new `GoalKind`, so we can look into them in the `BestObligation` visitor.
3. Try to deduplicate errors due to self types of goals that are un-normalizable aliases.

r? lcnr

2024-10-16 19:18:32 +02:00

..

src

Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnr

2024-10-16 19:18:32 +02:00

Cargo.toml

Swap PredicateObligation to ThinVec

2024-10-12 15:17:16 +01:00

messages.ftl

Emit specific message for time<0.3.35 inference failure

2024-08-28 22:53:02 +00:00