about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-14/+13
2024-03-08Replace `TypeWalker` usage with `TypeVisitor`Shoyu Vanilla-300/+301
2024-03-08bump itertools to 0.12klensy-1/+1
2024-03-07Rollup merge of #122123 - compiler-errors:object-trait-alias-bounds, r=oli-obkGuillaume Gomez-1/+1
2024-03-07Rollup merge of #122043 - Y-Nak:move-early-binder, r=lcnrGuillaume Gomez-22/+21
2024-03-07Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=...Guillaume Gomez-66/+110
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-22/+21
2024-03-07improve debug loggingLukas Markeffsky-14/+3
2024-03-07Don't require specifying unrelated assoc types when trait alias is in dyn typeMichael Goulet-1/+1
2024-03-06remove outdated fixme commentDeadbeef-1/+0
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-2/+0
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-14/+13
2024-03-05Rollup merge of #121744 - oli-obk:eager_opaque_checks2, r=lcnrMatthias Krüger-2/+0
2024-03-05Convert `ProofTreeVisitor` to use `VisitorResult`Jason Newcomb-31/+28
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-45/+31
2024-03-05Stop using Bubble in coherence and instead emulate it with an intercrate checkOli Scherer-2/+0
2024-03-05Rollup merge of #121826 - estebank:e0277-root-obligation-2, r=oli-obkMatthias Krüger-5/+54
2024-03-05Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`.Nicholas Nethercote-2/+2
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-2/+1
2024-03-04address review feedbackLukas Markeffsky-30/+56
2024-03-04suppress fulfillment errors for super projectionsLukas Markeffsky-31/+38
2024-03-04adjust obligation spans for super projectionsLukas Markeffsky-35/+57
2024-03-04Rollup merge of #121912 - fmease:diag-method-chains-gat, r=compiler-errors,es...Matthias Krüger-16/+14
2024-03-03Use `can_eq` instead of `Ty<'_> == Ty<'_>`Esteban Küber-4/+12
2024-03-03Use root obligation on E0277 for some casesEsteban Küber-5/+46
2024-03-03Properly deal with GATs when looking for method chains to point atLeón Orell Valerian Liehr-16/+14
2024-03-02Rollup merge of #121895 - matthiaskrgr:devec, r=fee1-deadMatthias Krüger-1/+1
2024-03-02avoid collecting into vecs in some placesMatthias Krüger-1/+1
2024-03-02Rollup merge of #121875 - estebank:e0277-drive-by, r=compiler-errorsMatthias Krüger-12/+13
2024-03-02Rollup merge of #121739 - jieyouxu:loooong-typename, r=estebankMatthias Krüger-48/+62
2024-03-02Account for unmet `T: !Copy` in E0277 messageEsteban Küber-5/+12
2024-03-01Rollup merge of #121803 - estebank:dont-mention-type-error-e0277, r=compiler-...Matthias Krüger-1/+5
2024-03-01Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ...Matthias Krüger-172/+305
2024-03-01Avoid silently writing to a file when the involved ty is long许杰友 Jieyou Xu (Joe)-4/+15
2024-03-01normalizes-to: handle negative implslcnr-3/+16
2024-03-01Auto merge of #121462 - compiler-errors:eq-and-sub, r=lcnrbors-26/+9
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-1/+3
2024-03-01Never say "`Trait` is implemented for `{type error}`"Esteban Küber-1/+5
2024-03-01Remove a_is_expected from combine relationsMichael Goulet-6/+3
2024-03-01Get rid of some sub_exp and eq_expMichael Goulet-23/+9
2024-02-29Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errorsMatthias Krüger-18/+8
2024-02-29Small clean up of E0277 message logicEsteban Küber-15/+9
2024-02-29Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebankGuillaume Gomez-11/+7
2024-02-29Rollup merge of #121654 - compiler-errors:async-fn-for-fn-def, r=oli-obkGuillaume Gomez-92/+230
2024-02-29Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=...Jacob Pratt-0/+9
2024-02-29track overflowing goals for overfow errorslcnr-45/+108
2024-02-29stash overflowing obligations in fulfilllcnr-12/+75
2024-02-29extract fulfillment err creationlcnr-82/+73
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-41/+57
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-11/+7