about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/structural_normalize.rs
AgeCommit message (Expand)AuthorLines
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-4/+1
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-1/+1
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-47/+24
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-1/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-19Fix transmute goalMichael Goulet-0/+2
2024-09-22Introduce structurally_normalize_const, use it in hir_typeckMichael Goulet-0/+40
2024-06-03Nits and formattingMichael Goulet-2/+2
2024-06-03Make TraitEngines generic over errorMichael Goulet-4/+4
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-4/+1
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-15Remove TypeVariableOriginKindMichael Goulet-5/+4
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-9/+2
2024-01-11Remove special-casing around aliaskind in new solverMichael Goulet-2/+1
2023-12-18Use alias-eq in structural normalizationMichael Goulet-30/+31
2023-12-14update use of feature flagslcnr-1/+1
2023-12-08implement and use `NormalizesTo`lcnr-6/+2
2023-09-21HACK: avoid hang in structurally_normalizelcnr-3/+9
2023-08-07Structurally normalize weak and inherent tooMichael Goulet-1/+3
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-05-22Structurally normalize in the new solverMichael Goulet-0/+55
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 23:22:47 +0000