Stuart Cook d213934874 Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnr ...

Deeply normalize obligations in `BestObligation` folder

Built on #139513.

This establishes a somewhat rough invariant that the `Obligation`'s predicate is always deeply normalized in the folder; when we construct a new obligation we normalize it.

Putting this up for discussion since it does affect some goals.

r? lcnr

2025-04-11 13:31:48 +10:00

..

error_reporting

Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_params, r=Noratrieb

2025-04-11 13:31:46 +10:00

errors

clean code: remove Deref<Target=RegionKind> impl for Region and use .kind()

2025-04-08 10:51:41 +08:00

solve

Deeply normalize obligations in BestObligation

2025-04-10 18:58:04 +00:00

traits

Use a query rather than recomputing the tail repeatedly

2025-04-09 20:26:58 +00:00

errors.rs

Remove unnecessary dyn Display in favor of str

2025-04-08 06:09:04 +00:00

infer.rs

Fix next solver handling of shallow trait impl check

2025-03-19 14:40:14 +00:00

lib.rs

move check_opaque_type_parameter_valid

2025-04-03 11:13:10 +02:00

opaque_types.rs

clean code: remove Deref<Target=RegionKind> impl for Region and use .kind()

2025-04-08 10:51:41 +08:00

regions.rs

Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack

2025-03-04 18:18:48 +00:00

solve.rs

impossible obligations check fast path

2024-10-10 06:09:50 -04:00