about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-32/+29
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-8/+21
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-8/+21
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-1/+1
2023-07-03add deep normalization via the new solverlcnr-2/+12
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-2/+2
2023-06-29change snapshot tracking in fulfillment contextslcnr-2/+2
2023-06-27Normalize opaques with escaping bound varsMichael Goulet-6/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+2
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-13/+14
2023-06-19s/Clause/ClauseKindMichael Goulet-13/+14
2023-06-18Continue folding in query normalizer on weak aliasesMichael Goulet-2/+6
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-4/+7
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+2
2023-06-06New trait solver is a property of inference contextMichael Goulet-2/+2
2023-06-05Resolve vars in result from scrape_region_constraintsMichael Goulet-3/+12
2023-05-30Auto merge of #111881 - lcnr:leak-check, r=nikomatsakis,jackh726bors-1/+1
2023-05-30rework the leak_check to take the outer_universelcnr-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-3/+3
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-15 09:23:53 +0000