about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/normalize.rs
AgeCommit message (Expand)AuthorLines
2025-06-17apply clippy::or_fun_callklensy-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+1
2025-05-21Document why we allow escaping bound vars in LTA normBoxy-4/+13
2025-05-01Set groundwork for proper const normalizationBoxy-81/+115
2025-05-01No-op split into sub functionsBoxy-164/+162
2025-04-30Rollup merge of #140468 - BoxyUwU:normalization_confusings2, r=lcnrMatthias Krüger-5/+8
2025-04-29confusingsBoxy-5/+8
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-19Don't ICE on pending obligations from deep normalization in a loopMichael Goulet-1/+9
2025-04-03add `TypingMode::Borrowck`lcnr-0/+2
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+9
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-1/+1
2024-11-28support revealing defined opaque post borrowcklcnr-6/+8
2024-11-23remove remaining references to `Reveal`lcnr-1/+1
2024-11-23no more Reveal :(lcnr-12/+6
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-1/+2
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-14/+19
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-7/+7
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-10/+14
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-11Remove fully_normalizeMichael Goulet-5/+3
2024-07-10simplify and future-proof `needs_normalization`lcnr-8/+5
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+2
2024-06-21Rename a bunch of thingsMichael Goulet-5/+5
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-2/+2
2024-06-03Nits and formattingMichael Goulet-5/+6
2024-06-03Make TraitEngines generic over errorMichael Goulet-4/+9
2024-05-13split out AliasTy -> AliasTermMichael Goulet-5/+5
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-0/+2
2024-02-22overflow errors: change source to a concrete enumlcnr-7/+7
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-11/+9
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-2/+0
2024-02-19remove outdated commentlcnr-1/+1
2024-02-19split `project` into multiple fileslcnr-0/+423
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 01:45:33 +0000