summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
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
2022-09-13Use Predicate ConstraintCategory when normalizingJack Huey-1/+2
2022-09-13Better errors for implied static boundJack Huey-4/+4
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-1/+3
2022-09-08don't evaluate with escaping bound varslcnr-9/+10
2022-08-11Auto merge of #100315 - compiler-errors:norm-ct-in-proj, r=lcnrbors-3/+20
2022-08-09Move folding into just projection casesMichael Goulet-10/+20
2022-08-09don't normalize wf predicateslcnr-0/+12
2022-08-09Keep going if normalized projection has unevaluated consts in QueryNormalizerMichael Goulet-1/+8
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-7/+2
2022-07-18Auto merge of #99181 - lcnr:arenaGTrc, r=wesleywiserbors-10/+11
2022-07-15`QueryNormalizer` bug on ambiguitylcnr-2/+2
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-1/+1
2022-07-12remove outdated commentlcnr-9/+9
2022-07-12arena > Rc for query resultslcnr-6/+7
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+2
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-07-04region obligations, remove `body_id`lcnr-1/+1
2022-07-04rip out `RegionCtxt` from hir typecklcnr-67/+3
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-6/+9
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-08Auto merge of #97447 - nnethercote:improve-folding, r=jackh726bors-8/+6
2022-06-08Folding revamp.Nicholas Nethercote-8/+6
2022-05-16Don't go into the query for things that can't possibly have lifetimes.Oli Scherer-3/+10
2022-05-13Add bound_type_ofJack Huey-3/+3
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 12:18:09 +0000