about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/normalize_projection_ty.rs
AgeCommit message (Expand)AuthorLines
2025-05-01Set groundwork for proper const normalizationBoxy-4/+10
2025-04-24Remove `weak` alias terminologyBoxy-3/+3
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-2/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
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-1/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-8/+5
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-4/+5
2024-05-13split out AliasTy -> AliasTermMichael Goulet-8/+2
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-16/+17
2024-02-19`normalize_projection_ty` is not used with next-solverlcnr-14/+13
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-1/+1
2023-11-13Remove `-Zperf-stats`.Nicholas Nethercote-3/+0
2023-09-13Detect cycle errors hidden by opaques during monomorphizationMichael Goulet-1/+25
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+33
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+28
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-4/+3
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-01-28Remove generalization over projectionkadmin-1/+4
2020-08-30mv compiler to compiler/mark-0/+42