about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/normalize.rs
AgeCommit message (Expand)AuthorLines
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-63/+21
2025-06-06Treat normalizing consts like normalizing types in deeply normalizeMichael Goulet-23/+24
2025-04-29confusingsBoxy-25/+32
2025-04-23MoreMichael Goulet-15/+27
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-21/+25
2025-04-22Collect and resolve ambiguous obligations from normalizing in writebackMichael Goulet-2/+34
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-12/+20
2025-02-08Rustfmtbjorn3-15/+16
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+17
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+8
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+2
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-21Rename a bunch of thingsMichael Goulet-2/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-5/+4
2024-06-03Nits and formattingMichael Goulet-17/+19
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-2/+2
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-5/+3
2024-06-03Make TraitEngines generic over errorMichael Goulet-20/+33
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+0
2024-05-13split out AliasTy -> AliasTermMichael Goulet-7/+4
2024-05-12solve: replace all `debug` with `trace`lcnr-2/+2
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-8/+2
2024-04-16Auto merge of #123537 - compiler-errors:shallow, r=lcnrbors-1/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-15Remove ConstVariableOriginKindMichael Goulet-5/+2
2024-04-15Remove TypeVariableOriginKindMichael Goulet-5/+3
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-02-22overflow errors: change source to a concrete enumlcnr-3/+7
2024-02-20some type system cleanuplcnr-18/+11
2024-02-19split `project` into multiple fileslcnr-3/+2
2024-01-11Remove special-casing around aliaskind in new solverMichael Goulet-19/+22
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-2/+2
2023-12-08implement and use `NormalizesTo`lcnr-3/+3
2023-12-05Continue folding if deep normalizer failsMichael Goulet-14/+40
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-1/+15
2023-10-18AliasTy::new instead of tcx methodlcnr-1/+1
2023-08-03avoid more `ty::Binder:dummy`lcnr-6/+3
2023-07-24Rollup merge of #113987 - compiler-errors:comments, r=lcnrMatthias Krüger-1/+2
2023-07-23more clippy::style fixes:Matthias Krüger-2/+2
2023-07-23Comment stuff in the new solverMichael Goulet-1/+2
2023-07-14Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnrbors-1/+15
2023-07-14assertion, commentMichael Goulet-0/+4
2023-07-14Allow escaping bound vars during normalize_erasing_regions in new solverMichael Goulet-1/+11
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-07-07Normalize opaques during codegen in new solverMichael Goulet-3/+1
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-0/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 17:31:05 +0000