summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2021-12-21Fix bad caching of `~const Drop` boundsDeadbeef-3/+3
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-2/+1
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-2/+50
2021-12-14extend `simplify_type`lcnr-5/+16
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-152/+84
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-84/+152
2021-12-02Auto merge of #91469 - matthiaskrgr:rollup-xom3j55, r=matthiaskrgrbors-1/+5
2021-12-02Rollup merge of #91329 - Aaron1011:modulo-regions-test, r=jackh726Matthias Krüger-1/+5
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-1/+1
2021-12-01Cache with consistent env and boundDeadbeef-8/+18
2021-11-29Reformat everythingDeadbeef-4/+1
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-21/+17
2021-11-29Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same...Oli Scherer-65/+44
2021-11-29Prefer TraitPredicate over ConstnessAnd<TraitRef>Oli Scherer-24/+9
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-37/+1
2021-11-28Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives`Aaron Hill-1/+5
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-0/+1
2021-11-08impl Copy/Clone for arrays in std, not in compilerbstrie-6/+2
2021-11-06use matches!() macro in more placesMatthias Krüger-4/+1
2021-10-28Reformat the changed line to make tidy happyIlya Yanok-2/+3
2021-10-28Use `is_global` in `candidate_should_be_dropped_in_favor_of`Ilya Yanok-1/+1
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-6/+17
2021-10-22Fix filter_impls commentSantiago Pastorino-2/+2
2021-10-22Fix debug method nameSantiago Pastorino-1/+1
2021-10-22Move const filter to filter_implsSantiago Pastorino-33/+42
2021-10-20Fix allow_negative_impls logicSantiago Pastorino-2/+2
2021-10-20Add TraitObligation::polarity() for better encapsulationSantiago Pastorino-9/+6
2021-10-20Filter candidates when goal and impl polarity doesn't matchSantiago Pastorino-7/+23
2021-10-20Filter out Negative impls on intercrate mode's ambiguous reasoningSantiago Pastorino-23/+30
2021-10-20Make EvaluationCache consider polarity as cache's keySantiago Pastorino-6/+24
2021-10-20Consider negative polarity on trait selectionSantiago Pastorino-25/+23
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-12/+17
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