about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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
2021-10-08clippy::complexity fixesMatthias Krüger-3/+3
2021-10-08Auto merge of #89576 - tom7980:issue-89275-fix, r=estebankbors-13/+25
2021-10-07Auto merge of #89629 - GuillaumeGomez:rollup-s4r8me6, r=GuillaumeGomezbors-1/+79
2021-10-07Rollup merge of #89461 - crlf0710:dyn_upcasting_lint, r=nikomatsakisGuillaume Gomez-1/+79
2021-10-06Introduce get_diagnostic_nameCameron Steffen-4/+4
2021-10-06Auto merge of #89323 - estebank:derive-binop, r=petrochenkovbors-1/+1
2021-10-05Consider unfulfilled obligations in binop errorsEsteban Kuber-1/+1
2021-10-05Issue 89275 fix and testTom Farmer-13/+25
2021-10-05Rollup merge of #89317 - JulianKnodt:precise_errors, r=BoxyUwUManish Goregaokar-43/+94
2021-10-04Rollup merge of #89478 - zvavybir:master, r=jyn514Jubilee-2/+8
2021-10-04Rollup merge of #89413 - matthewjasper:spec-marker-fix, r=nikomatsakisJubilee-1/+3
2021-10-04Move generic error message to separate brancheskadmin-43/+94
2021-10-03Combined 4 commits into 1Matthias Kaak-2/+8
2021-10-03Practice diagnostic message conventionHirochika Matsumoto-2/+2
2021-10-03Add `deref_into_dyn_supertrait` lint.Charles Lew-1/+79
2021-10-03Auto merge of #89479 - camsteffen:diag-naming, r=Manishearthbors-5/+5
2021-10-02Make diangostic item names consistentCameron Steffen-5/+5
2021-10-02Auto merge of #89345 - jackh726:89333, r=estebankbors-16/+16
2021-10-01Rollup merge of #88963 - fee1-dead:const-iterator, r=oli-obkManish Goregaokar-9/+16
2021-10-01Don't lose binders when printing trait bound suggestionjackh726-16/+16
2021-09-30Elaborate predicates in min_specialization checksMatthew Jasper-1/+3
2021-09-28Improve help for recursion limit errorsRoss MacArthur-6/+14
2021-09-28More tracing instrumentationOli Scherer-17/+17
2021-09-27Auto merge of #89285 - jackh726:issue-88862, r=nikomatsakisbors-8/+8
2021-09-26Don't normalize opaque types with escaping late-bound regions.jackh726-8/+8