about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
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
2024-02-28Unify long type name file and note in note_obligation_cause_code许杰友 Jieyou Xu (Joe)-48/+44
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-1/+3
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-0/+9
2024-02-28Display short types for unimplemented trait许杰友 Jieyou Xu (Joe)-2/+9
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-110/+92
2024-02-27Don't emit higher-ranked Future obligations when confirm async Fn goalsMichael Goulet-6/+16
2024-02-27Add a couple helpers, make return types less confusingMichael Goulet-116/+172
2024-02-27Support `{async closure}: Fn` in new solverMichael Goulet-1/+73
2024-02-27safe transmute: revise safety analysisJack Wrenn-18/+8
2024-02-26Rollup merge of #121617 - compiler-errors:async-closure-kind-check, r=oli-obkMatthias Krüger-2/+3
2024-02-26consider placeholders in `fn term_is_fully_unconstrained`lcnr-37/+49
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-219/+232
2024-02-26add additional logginglcnr-1/+7
2024-02-26Actually use the right closure kind when checking async Fn goalsMichael Goulet-2/+3
2024-02-25Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillotMatthias Krüger-4/+19
2024-02-24Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgrbors-16/+19
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-17/+14