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