about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-02-12Address review commentMatthew Jasper-1/+2
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-2/+6
2022-02-11Auto merge of #93893 - oli-obk:sad_revert, r=oli-obkbors-109/+37
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-84/+23
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-25/+14
2022-02-10only mark projection as ambiguous if GAT substs are constrainedMichael Goulet-33/+51
2022-02-11Rollup merge of #93853 - steffahn:map_by_value, r=wesleywiserMatthias Krüger-1/+1
2022-02-10Remove further usage of `&hir::Map`Frank Steffahn-1/+1
2022-02-10Auto merge of #93511 - cjgillot:query-copy, r=oli-obkbors-3/+3
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-3/+3
2022-02-09Allow substitutions in `rustc_on_unimplemented` predicateMichael Goulet-12/+36
2022-02-09Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obkbors-14/+25
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-14/+25
2022-02-08Rollup merge of #92917 - jackh726:issue-91762-2, r=nikomatsakisMatthias Krüger-1/+11
2022-02-08Rollup merge of #93728 - JulianKnodt:toterm, r=oli-obkMatthias Krüger-20/+5
2022-02-07Change inference var check to be in project_typeJack Huey-11/+11
2022-02-07Don't match any projection predicates when the obligation has inference types...Jack Huey-2/+12
2022-02-07Rm ValuePairs::Ty/Constkadmin-20/+5
2022-02-03compiler: clippy::complexity fixesMatthias Krüger-3/+2
2022-02-02Fix some doctests where the main function returns an opaque typeOli Scherer-0/+5
2022-02-02Bail out early if there already were errorsOli Scherer-10/+5
2022-02-02Make a span more usefulOli Scherer-0/+1
2022-02-02Guess head span of async blocksOli Scherer-0/+1
2022-02-02Make a comment more obviousOli Scherer-2/+4
2022-02-02Eagerly merge hidden types.Oli Scherer-3/+3
2022-02-02Register member constraints on the final merged hidden typeOli Scherer-1/+1
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-12/+69
2022-02-01Auto merge of #93285 - JulianKnodt:const_eq_2, r=oli-obkbors-116/+128
2022-02-01Fix w/ commentskadmin-59/+47
2022-02-01Rollup merge of #93290 - lcnr:same_type, r=jackh726Matthias Krüger-1/+1
2022-02-01remove `TyS::same_type`lcnr-1/+1
2022-02-01add a rustc::query_stability lintlcnr-0/+1
2022-01-31Add ValuePairs::Terms & Fix compile errorkadmin-39/+25
2022-01-31Auto merge of #93348 - spastorino:fix-perf-overlap-mode2, r=nikomatsakisbors-60/+30
2022-01-31Do not store overlap_mode, just pass it down on insertSantiago Pastorino-3/+5
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-59/+27
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-6/+8
2022-01-30Rollup merge of #93358 - compiler-errors:is-not-const, r=fee1-deadMatthias Krüger-7/+25
2022-01-28Auto merge of #93343 - lqd:attrs, r=spastorinobors-18/+25
2022-01-28Remove generalization over projectionkadmin-320/+99
2022-01-27Continue work on assoc const eqkadmin-108/+367
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-8/+4
2022-01-26add note suggesting that predicate is satisfied but is not constMichael Goulet-0/+22
2022-01-26Rollup merge of #92256 - fee1-dead:improve-selection-err, r=oli-obkMatthias Krüger-148/+220
2022-01-26Only traverse attrs once while checking for coherence overrideRémy Rakic-18/+25
2022-01-25Auto merge of #93095 - Aaron1011:remove-assoc-ident, r=cjgillotbors-13/+20
2022-01-26Add a minimal working `append_const_msg` argumentDeadbeef-8/+50
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-144/+174
2022-01-25Rollup merge of #93175 - spastorino:negative-traits-coherence-new, r=nikomats...Matthias Krüger-61/+201
2022-01-25Rollup merge of #93064 - Aaron1011:provisional-dep-node, r=michaelwoeristerMatthias Krüger-12/+51