summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2022-05-13Add bound_type_ofJack Huey-3/+3
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-17/+26
2022-03-25Auto merge of #95280 - InfRandomness:infrandomness/Dtorck_clarification, r=ol...bors-1/+1
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-1/+1
2022-03-25Fix ice when error reporting recursion errorslightning1141-0/+2
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-09normalization change and rebaseb-naber-1/+1
2022-03-09treat all mir::Constant values as ConstantKind::Valb-naber-1/+16
2022-03-019 - Make more use of `let_chains`Caio-15/+13
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-2/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+3
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-25/+14
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-14/+25
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-3/+1
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-15initial revertEllen-12/+4
2021-12-16Prove obligations to termination instead of ignoring ambiguities.Oli Scherer-19/+42
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-5/+5
2021-12-12Remap more env constness for queriesDeadbeef-18/+17
2021-12-12Remap predicate/env constness before queryingDeadbeef-4/+24
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-15/+17
2021-11-26Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut-76/+41
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-16/+22
2021-11-08fmtDeadbeef-1/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-2/+3
2021-11-06Improve terminology around "after typeck"pierwill-1/+1
2021-10-15Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh726-97/+1
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-2/+2
2021-10-05Issue 89275 fix and testTom Farmer-8/+12
2021-09-26Don't normalize opaque types with escaping late-bound regions.jackh726-4/+4
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-1/+1
2021-08-26rebaselcnr-4/+12
2021-08-24Review commentsjackh726-23/+28
2021-08-24Normalize associated types with bound varsJack Huey-31/+83
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-15Return the canonicalized query from type opsMatthew Jasper-30/+38
2021-08-13make check less conservative and add explanationDeadbeef-9/+0
2021-08-13Fix assoc-type testDeadbeef-0/+9
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-07-21Improve caching during trait evaluationAaron Hill-6/+9
2021-07-17Add needs_normalizationjackh726-2/+3
2021-07-17Some perf optimizations and loggingjackh726-1/+1
2021-07-15Remove failed and review commentsjackh726-13/+13
2021-07-13WIP partial apply fixjackh726-3/+26
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 23:18:50 +0000