summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-33/+63
2022-02-18Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obkMatthias Krüger-3/+2
2022-02-18Rollup merge of #93024 - compiler-errors:inline-mir-bad-bounds, r=estebankMatthias Krüger-0/+2
2022-02-18Rollup merge of #92683 - jackh726:issue-92033, r=estebankMatthias Krüger-1/+2
2022-02-17Rollup merge of #94011 - est31:let_else, r=lcnrMatthias Krüger-7/+3
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-1/+2
2022-02-17Rollup merge of #94030 - ChayimFriedman2:issue-94010, r=petrochenkovMatthias Krüger-8/+8
2022-02-16Adopt let_else in even more placesest31-7/+3
2022-02-16Correctly mark the span of captured arguments in `format_args!()`Chayim Refael Friedman-8/+8
2022-02-15Overhaul `Const`.Nicholas Nethercote-45/+55
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-8/+3
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-5/+5
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-2/+2
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-13/+13
2022-02-14use an enum in matches_projection_projectionMichael Goulet-16/+28
2022-02-14Auto merge of #93652 - spastorino:fix-negative-overlap-check-regions, r=nikom...bors-25/+52
2022-02-14Inline loose_check fn on call siteSantiago Pastorino-11/+1
2022-02-14Add comments about outlives_envSantiago Pastorino-0/+7
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-1/+1
2022-02-14Properly check regions on negative overlap checkSantiago Pastorino-8/+34
2022-02-14Add debug calls for negative impls in coherenceSantiago Pastorino-4/+10
2022-02-14Move FIXME text to the right placeSantiago Pastorino-3/+3
2022-02-14Remove extra negative_impl_exists checkSantiago Pastorino-3/+1
2022-02-14further update `fuzzy_match_tys`lcnr-35/+53
2022-02-14fast_reject: remove `StripReferences`lcnr-30/+10
2022-02-14fuzzify `fuzzy_match_tys`lcnr-102/+38
2022-02-14Make `find_similar_impl_candidates` a little fuzzier.Ben Reeves-32/+115
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