about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
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-25fix(rustc_typeck): report function argument errors on matching typeMichael Howell-0/+6
2021-10-25Rollup merge of #89889 - estebank:unmet-send-bound-on-foreign-future, r=tmandryMatthias Krüger-77/+70
2021-10-24Auto merge of #89427 - estebank:collect-overlapping-impls, r=jackh726bors-32/+189
2021-10-24Use the "nice E0277 errors"[1] for `!Send` `impl Future` from foreign crateEsteban Kuber-77/+70
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-32/+189
2021-10-24Rollup merge of #89558 - lcnr:query-stable-lint, r=estebankMatthias Krüger-0/+1
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-154/+265
2021-10-23Avoid code duplication by extracting checks into fnsSantiago Pastorino-11/+18
2021-10-22Hide negative coherence checks under negative_impls feature flagSantiago Pastorino-4/+5
2021-10-22Assemple trait alias candidates for negative polaritySantiago Pastorino-0/+1
2021-10-22Add rustc_strict_coherence attribute and use it to check overlapSantiago Pastorino-2/+13
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-22Document overlap check filterSantiago Pastorino-1/+21
2021-10-22Rollup merge of #90028 - tmiasko:structural-match-closure, r=spastorinoYuki Okushi-1/+5
2021-10-21Rollup merge of #88644 - eopb:abstractconst_leaf_subst, r=lcnrYuki Okushi-23/+22
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-20Use predicate_must_hold_modulo_regionsSantiago Pastorino-1/+1
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-16/+32
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+5
2021-10-20remove duplicate substEthan Brierley-1/+0
2021-10-19Address lcnr reviewEthan Brierley-3/+5
2021-10-19Reject closures in patternsTomasz Miąsko-1/+5
2021-10-19Auto merge of #89933 - est31:let_else, r=michaelwoeristerbors-13/+6
2021-10-18Auto merge of #89229 - oli-obk:i_love_inferctxt, r=jackh726bors-142/+15
2021-10-18Normalize obligations for closure confirmationjackh726-12/+38
2021-10-18Member constraints already covered all of E0482 already, so that error never ...Oli Scherer-39/+2
2021-10-18Guarding a loop with a check that it never runs is uselessOli Scherer-8/+5
2021-10-16Adopt let_else across the compilerest31-13/+6
2021-10-15Remove a now-unused structOli Scherer-13/+0
2021-10-15simplify constrain_opaque_typesNiko Matsakis-90/+16
2021-10-15Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh726-146/+1
2021-10-15allow `potential_query_instability` everywherelcnr-0/+1
2021-10-14Rollup merge of #89823 - jackh726:project-overflow, r=oli-obkMatthias Krüger-1/+1
2021-10-14Auto merge of #89247 - fee1-dead:const-eval-select, r=oli-obkbors-2/+6
2021-10-12Switch order of terms to prevent overflowjackh726-1/+1
2021-10-12Add const_eval_select intrinsicDeadbeef-2/+6
2021-10-11Fix ICE 89775Gary Guo-1/+3
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-5/+5
2021-10-08Rollup merge of #89649 - matthiaskrgr:clippycompl, r=jyn514Guillaume Gomez-3/+3