about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-58/+60
2022-03-019 - Make more use of `let_chains`Caio-218/+176
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-117/+75
2022-02-26suggest a float literal when dividing a floating-point type by {integer}Takayuki Maeda-1/+36
2022-02-25Switch bootstrap cfgsMark Rousskov-1/+1
2022-02-25Auto merge of #93368 - eddyb:diagbld-guarantee, r=estebankbors-121/+84
2022-02-24restore spans for issue-50480Michael Goulet-1/+14
2022-02-24better ObligationCause for normalization errors in can_type_implement_copyMichael Goulet-2/+2
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-6/+7
2022-02-23rustc_errors: take `self` by value in `DiagnosticBuilder::cancel`.Eduard-Mihai Burtescu-2/+6
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-114/+72
2022-02-21Auto merge of #94225 - matthiaskrgr:rollup-0728x8n, r=matthiaskrgrbors-18/+10
2022-02-21Rollup merge of #94215 - lcnr:leak-check, r=jackh726Matthias Krüger-18/+10
2022-02-21Auto merge of #93505 - lcnr:substsref-vs-ty-list, r=michaelwoeristerbors-19/+14
2022-02-21obligation forest docslcnr-2/+2
2022-02-21don't check for the leak_check twicelcnr-14/+6
2022-02-21Auto merge of #94108 - compiler-errors:just-confirmation-normalization, r=jac...bors-73/+30
2022-02-21rename functionlcnr-2/+2
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-19/+14
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-6/+6
2022-02-19Consolidate normalization in confirm_poly_trait_refsMichael Goulet-73/+30
2022-02-19rustc_trait_selection: adopt let else in more placesest31-117/+75
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-16Move ty::print methods to Drop-based scope guardsMark Rousskov-6/+6
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