rust/compiler/rustc_hir_analysis/src/coherence
Matthias Krüger ef0e6863c6
Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr
Use `structurally_normalize` instead of manual `normalizes-to` goals in alias relate errors

r? `@lcnr`

I added `structurally_normalize_term` so that code that is generic over ty or const can use the structurally normalize helpers. See `tests/ui/traits/next-solver/diagnostics/alias_relate_error_uses_structurally_normalize.rs` for a description of the reason for the (now fixed) ICEs
2025-01-22 19:29:39 +01:00
..
builtin.rs Normalize field before checking PhantomData in coerce/dispatch impl validation 2025-01-14 18:47:23 +00:00
inherent_impls.rs Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
inherent_impls_overlap.rs Remove unnecessary sorts in rustc_hir_analysis. 2024-10-06 15:57:23 +03:00
mod.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
orphan.rs Rename structurally_normalize to structurally_normalize_ty 2025-01-22 07:04:53 +00:00
unsafety.rs Make Copy unsafe to implement for ADTs with unsafe fields 2024-12-07 20:50:00 +00:00