about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2023-03-23Return nested obligations from canonical response var unificationMichael Goulet-1/+9
2023-03-21remove some trait solver helperslcnr-4/+4
2023-03-15Deduplicate logic between projection normalization with and without escaping ...Oli Scherer-59/+21
2023-03-15Exhaustively match over all alias kindsOli Scherer-10/+17
2023-03-11Use TyCtxt::trait_solver_next in some placesMichael Goulet-8/+7
2023-03-10Move some solver stuff to middleMichael Goulet-1/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-11/+11
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-4/+4
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-01-28Rollup merge of #107103 - compiler-errors:new-solver-evaluate_obligation, r=lcnrMatthias Krüger-6/+37
2023-01-27Pacify tidy.Camille GILLOT-5/+5
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-27Do not abort compilation when failing to normalize opaque types.Camille GILLOT-6/+10
2023-01-27Use now solver in evaluate_obligationMichael Goulet-6/+37
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-9/+9
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-17Review suggestionsMaybe Waffle-1/+1
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-10/+10
2023-01-03Simplify some canonical type alias namesMichael Goulet-35/+35
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-5/+7
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-8/+6
2022-12-01Document normalization methods on AtMichael Goulet-0/+7
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-2/+2
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-2/+2
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-3/+5
2022-11-24with_query_mode -> newSantiago Pastorino-4/+2
2022-11-18Revert "Normalize opaques with escaping bound vars"Michael Goulet-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-0/+1
2022-11-07Don't normalize constants unless they need normalizationMichael Goulet-0/+4
2022-10-21Delay ambiguity span bug in normalize query iff not rustdocMichael Goulet-2/+19
2022-10-17mir constants: type traversing bye byelcnr-8/+0
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-9/+9
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-09-23Rollup merge of #102137 - b-naber:lazy-const-val-conversion, r=lcnrMatthias Krüger-19/+1
2022-09-22don't convert valtree to constvalue during normalizationb-naber-19/+1
2022-09-22Normalize opaques with escaping bound varsMichael Goulet-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-5/+6
2022-09-17Use Predicate ConstraintCategory when normalizingJack Huey-1/+2
2022-09-16Final bitsJack Huey-4/+4
2022-09-16Revert "Better errors for implied static bound"Jack Huey-4/+4
2022-09-16Revert "Use Predicate ConstraintCategory when normalizing"Jack Huey-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 16:59:46 +0000