summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2021-11-24Add impl polarity to fieldsDeadbeef-26/+27
2021-11-24Allow more cases to match ~const Drop.Deadbeef-32/+48
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-11-06Auto merge of #88441 - jackh726:closure_norm, r=nikomatsakisbors-10/+24
2021-11-02Rollup merge of #90417 - lcnr:stabilize-relaxed-struct-unsizing, r=wesleywiserMatthias Krüger-40/+12
2021-10-30stabilize `relaxed_struct_unsize`lcnr-40/+12
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-8/+27
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-151/+211
2021-10-22Assemple trait alias candidates for negative polaritySantiago Pastorino-0/+1
2021-10-22Add comment about the only way to prove NotImplemented hereSantiago Pastorino-0/+2
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-35/+44
2021-10-20Fix allow_negative_impls logicSantiago Pastorino-2/+2
2021-10-20Add TraitObligation::polarity() for better encapsulationSantiago Pastorino-14/+8
2021-10-20Filter candidates when goal and impl polarity doesn't matchSantiago Pastorino-9/+27
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-20Only assemble_candidates_from_impls for polarity NegativeSantiago Pastorino-58/+62
2021-10-20Consider negative polarity on trait selectionSantiago Pastorino-25/+23
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-15/+23
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-10-18Normalize obligations for closure confirmationjackh726-10/+24
2021-10-16Adopt let_else across the compilerest31-3/+1
2021-10-14Auto merge of #89247 - fee1-dead:const-eval-select, r=oli-obkbors-2/+6
2021-10-12Add const_eval_select intrinsicDeadbeef-2/+6
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-3/+3
2021-10-08Auto merge of #89576 - tom7980:issue-89275-fix, r=estebankbors-5/+10
2021-10-05Issue 89275 fix and testTom Farmer-5/+10
2021-10-03Add `deref_into_dyn_supertrait` lint.Charles Lew-1/+79
2021-10-01Rollup merge of #88963 - fee1-dead:const-iterator, r=oli-obkManish Goregaokar-9/+16
2021-09-28More tracing instrumentationOli Scherer-10/+9
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-4/+5
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-15Remove ToPolyTraitRef impl for TraitRefjackh726-1/+2
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-3/+3
2021-09-15Disable the evaluation cache when in intercrate modeAaron Hill-0/+16
2021-09-15Coerce const FnDefs to implement const Fn traitsDeadbeef-9/+16
2021-09-15inline(always) on check_recursion_limitDeadbeef-0/+1
2021-09-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-35/+166
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 13:47:23 +0000