about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-2/+2
2021-10-05Issue 89275 fix and testTom Farmer-3/+7
2021-10-01Rollup merge of #88963 - fee1-dead:const-iterator, r=oli-obkManish Goregaokar-6/+11
2021-09-28More tracing instrumentationOli Scherer-8/+6
2021-09-20Don't use projection cache or candidate cache in intercrate modeAaron Hill-0/+18
2021-09-18Auto merge of #89000 - Mark-Simulacrum:no-new-lrc, r=petrochenkovbors-1/+1
2021-09-18Auto merge of #88994 - Aaron1011:intercrate-caching, r=jackh726bors-0/+16
2021-09-17Auto merge of #88962 - fee1-dead:const-drop, r=oli-obkbors-0/+1
2021-09-17Auto merge of #88945 - Aaron1011:no-projection-completion, r=wesleywiser,jack...bors-10/+2
2021-09-15Reuse existing shared Lrc for MatchImpl parentMark Rousskov-1/+1
2021-09-15Disable the evaluation cache when in intercrate modeAaron Hill-0/+16
2021-09-15Coerce const FnDefs to implement const Fn traitsDeadbeef-6/+11
2021-09-15inline(always) on check_recursion_limitDeadbeef-0/+1
2021-09-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-33/+38
2021-09-14Remove concept of 'completion' from the projection cacheAaron Hill-10/+2
2021-09-13Rollup merge of #88851 - fee1-dead:dup-bound, r=oli-obkGuillaume Gomez-2/+3
2021-09-12Rollup merge of #88709 - BoxyUwU:thir-abstract-const, r=lcnrManish Goregaokar-1/+1
2021-09-11Fix duplicate bounds for const_trait_implDeadbeef-2/+3
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-1/+1
2021-09-09fmtDeadbeef-19/+18
2021-09-09Const drop selection candidatesDeadbeef-16/+22
2021-09-09rename mir -> thir around abstract constsEllen-1/+1
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-1/+1
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
2021-08-27fmtDeadbeef-24/+26
2021-08-27Add `ty::BoundConstness`Deadbeef-17/+19
2021-08-26reviewlcnr-1/+1
2021-08-26shrink `ty::PredicateKind` againlcnr-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-3/+2
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-4/+8
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-4/+1
2021-08-22Auto merge of #88139 - lcnr:marker-trait-attr, r=nikomatsakisbors-3/+10
2021-08-21Auto merge of #88135 - crlf0710:trait_upcasting_part_3, r=nikomatsakisbors-0/+6
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+16
2021-08-19move code to `InferCtxt` methodEllen-8/+1
2021-08-19canonicalize const equate predicatesEllen-4/+8
2021-08-18marker_traits: require `EvaluatedToOk`lcnr-3/+10
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-0/+6
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13make check less conservative and add explanationDeadbeef-0/+12
2021-08-13Fix testsDeadbeef-2/+3
2021-08-13Pass constness to SelectionContextDeadbeef-20/+45
2021-08-13Make selection and evaluation caches use constnessDeadbeef-30/+57
2021-08-13fmtDeadbeef-1/+2
2021-08-13fmtDeadbeef-2/+3
2021-08-13Filter non-const impls when we expect a const oneDeadbeef-4/+21
2021-08-13move Constness into TraitPredicateDeadbeef-6/+5
2021-07-21Improve caching during trait evaluationAaron Hill-4/+4
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-1/+7
2021-07-17Some perf optimizations and loggingjackh726-3/+7