summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2023-05-27Uplift complex type ops back into typeck so we can call them locallyMichael Goulet-17/+558
2023-05-27Perform MIR type ops locally in new solverMichael Goulet-1/+94
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-31/+34
2023-05-25Use ErrorGuaranteed more in MIR type opsMichael Goulet-13/+35
2023-05-24Use ObligationCtxt in custom type opsMichael Goulet-27/+27
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-7/+10
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-08Remove `remap_env_constness` in queriesDeadbeef-7/+1
2023-03-23Use fulfillment in InferCtxt::evaluate_obligationMichael Goulet-30/+14
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 21:21:09 +0000