about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-04-05Rollup merge of #95525 - ohno418:suggest-derivable-trait-E0277, r=compiler-er...Dylan DPC-0/+70
2022-04-05errors: implement fallback diagnostic translationDavid Wood-7/+4
2022-04-05span: move `MultiSpan`David Wood-6/+6
2022-04-05errors: introduce `DiagnosticMessage`David Wood-1/+2
2022-04-05Suggest only when all fields impl the traitohno418-18/+50
2022-04-05Suggest only when Rhs for PartialEq and PartialOrd is the same type as selfohno418-29/+31
2022-04-05Suggest derivable trait on E0277ohno418-0/+36
2022-04-04diagnostics: give a special note for unsafe fn / Fn/FnOnce/FnMutMichael Howell-0/+9
2022-04-05Rollup merge of #95603 - compiler-errors:dyn-return, r=oli-obkDylan DPC-55/+79
2022-04-05Rollup merge of #91873 - estebank:mention-impls-for-unsatisfied-trait, r=davi...Dylan DPC-83/+272
2022-04-04Remove hack, fix fmt and testsEsteban Kuber-6/+3
2022-04-04Highlight `is` in the message for emphasisEsteban Kuber-4/+3
2022-04-04Refer to the TraitRef::identity in the message to be clearerEsteban Kuber-2/+2
2022-04-04Dedup logic and improve output for other types that impl traitEsteban Kuber-63/+65
2022-04-04Fix list lengthEsteban Kuber-1/+1
2022-04-04Suggest dereferncing when possible in E0277, fix #87437Esteban Kuber-38/+66
2022-04-04Fix #90970, doesn't address #87437Esteban Kuber-6/+73
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-37/+133
2022-04-04Rollup merge of #95609 - compiler-errors:borrow-unsized-to-dyn, r=nagisaDylan DPC-0/+43
2022-04-04Auto merge of #95031 - compiler-errors:param-env-cache, r=Aaron1011bors-8/+8
2022-04-02Suggest borrowing when trying to coerce unsized type into dyn TraitMichael Goulet-0/+43
2022-04-02Fix late-bound ICE in unsized return suggestionMichael Goulet-55/+79
2022-04-02Auto merge of #94911 - jackh726:gats_extended_2, r=compiler-errorsbors-14/+78
2022-04-02Make GATs object safe under generic_associated_types_extended featureJack Huey-14/+78
2022-04-02rebase and use ty::Const in patterns againb-naber-53/+1
2022-04-02do use ty::Const in patterns and abstract constsb-naber-14/+9
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-5/+67
2022-04-02Rollup merge of #95560 - lcnr:obligation-cause, r=oli-obkDylan DPC-7/+8
2022-04-01convert more `DefId`s to `LocalDefId`lcnr-7/+8
2022-04-01Rollup merge of #95260 - compiler-errors:fn, r=davidtwcoMatthias Krüger-5/+121
2022-03-31Rollup merge of #95517 - lcnr:rustc_borrowck-misc, r=jackh726Dylan DPC-1/+1
2022-03-31address comments, add test for shadowed Box typeMichael Goulet-7/+3
2022-03-31Specialize suggestion for Option<T>Michael Goulet-11/+52
2022-03-31obligation cause: `RepeatVec` -> `RepeatValueCopy`lcnr-1/+1
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-20/+20
2022-03-31Rollup merge of #95471 - oli-obk:tait_ice, r=estebankDylan DPC-13/+6
2022-03-31Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errorsDylan DPC-33/+73
2022-03-30Add the generic_associated_types_extended featureJack Huey-33/+73
2022-03-30Spellchecking compiler commentsYuri Astrakhan-20/+20
2022-03-30Don't ICE when opaque types get their hidden type constrained again.Oli Scherer-13/+6
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-5/+5
2022-03-30Rollup merge of #95461 - nyurik:spelling, r=lcnrDylan DPC-4/+4
2022-03-30Spellchecking compiler codeYuri Astrakhan-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-4/+4
2022-03-28Also use the RPIT back compat hack in trait projectionOli Scherer-4/+15
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-42/+0
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-8/+6
2022-03-28Don't bind hidden types when searching for matching implsOli Scherer-0/+1
2022-03-28Fail more aggressivelyOli Scherer-4/+5
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-37/+109