bors 6c8138de8f Auto merge of #142127 - compiler-errors:nested-goals-certainty, r=lcnr ...

Apply nested goals certainty to `InspectGoals` for normalizes-to

...so that normalizes-to goals don't have `Certainty::Yes` even if they have nested goals which don't hold.

r? lcnr

2025-06-12 11:29:20 +00:00

..

error_reporting

transmutability: shift abstraction boundary

2025-06-09 14:08:12 +00:00

errors

Move eager translation to a method on Diag

2025-04-16 21:38:59 -04:00

solve

Apply nested goals certainty to InspectGoals for normalizes-to

2025-06-09 17:02:09 +00:00

traits

Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errors

2025-06-12 03:14:49 +02:00

errors.rs

Make E0621 missing lifetime suggestion verbose

2025-06-09 19:55:00 +00:00

infer.rs

Replace some Option<Span> with Span and use DUMMY_SP instead of None

2025-06-05 14:14:59 +00:00

lib.rs

Remove all unused feature gates from the compiler

2025-06-08 14:50:42 +00:00

opaque_types.rs

Rename unpack to kind

2025-05-27 11:14:45 +00: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

confusings

2025-04-29 18:55:21 +01:00