summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
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
2021-07-09Replace associated item bound vars with placeholders when projecting.jackh726-0/+63
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-1/+1
2021-07-04Query-ify global limit attribute handlingAaron Hill-1/+1
2021-04-08Fix outdated crate names in compiler docspierwill-1/+1
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+5
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+5
2021-03-27Remove (lots of) dead codeJoshua Nelson-6/+0
2021-03-18Fix use of bare trait objects everywhereVadim Petrochenkov-1/+1
2021-02-17remove useless ?s (clippy::needless_question_marks)Matthias Krüger-1/+1
2021-01-24Reduce log level used by tracing instrumentation from info to debugTomasz Miąsko-1/+1
2021-01-16Review changesJack Huey-1/+1
2020-12-05remove redundant clonesMatthias Krüger-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 00:46:47 +0000