about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/diagnostics.rs
AgeCommit message (Expand)AuthorLines
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-3/+4
2023-02-06Modify existing bounds if they existEdward Shen-1/+14
2023-02-03Make const/fn return params more suggestableMichael Goulet-4/+91
2023-01-18Rollup merge of #106753 - compiler-errors:rpitit-not-suggestable, r=spastorinoMichael Goulet-5/+12
2023-01-16Improve a TAIT error and add an error code plus documentationOli Scherer-1/+1
2023-01-12RPITITs are not suggestableMichael Goulet-5/+12
2022-12-15Rollup merge of #105627 - compiler-errors:dyn-auto-suggestable, r=davidtwcoMatthias Krüger-13/+2
2022-12-14Auto traits in dyn are suggestableMichael Goulet-13/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-3/+3
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-4/+4
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-5/+5
2022-11-30Rollup merge of #104895 - chenyukang:yukang/fix-104884-serde, r=TaKO8KiMatthias Krüger-0/+6
2022-11-29fix #104884, Avoid Invalid code suggested when encountering unsatisfied trait...yukang-0/+6
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-4/+3
2022-11-21Match crate and slug namesmejrs-8/+0
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-7/+4
2022-10-23Migrate all diagnosticsNilstrieb-1/+1
2022-10-07Move ReverseMapper logic onto OpaqueHiddenTypeOli Scherer-0/+8
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-08Adjust spacing in suggestion, add a testMichael Goulet-2/+2
2022-09-08Add associated item binding to non-param-ty where clause suggestionsMichael Goulet-1/+13
2022-07-22Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr-5/+13
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-3/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-11Address commentsMichael Goulet-17/+17
2022-06-11Make is_suggestable work on all TypeFoldableMichael Goulet-14/+47
2022-06-11Handle empty where-clause betterMichael Goulet-9/+4
2022-06-11Make Ty::is_suggestable use a visitorMichael Goulet-69/+69
2022-06-02On E0204 suggest missing type param boundsEsteban Küber-1/+4
2022-05-28Move things to rustc_type_irWilco Kusee-1/+1
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-1/+1
2022-04-30Save colon span to suggest bounds.Camille GILLOT-0/+13
2022-04-30Store all generic bounds as where predicates.Camille GILLOT-239/+95
2022-04-30Inline WhereClause into Generics.Camille GILLOT-23/+14
2022-04-26TAITs are suggestableMichael Goulet-14/+24
2022-04-12Fix wrong suggestions for `T:`Maybe Waffle-7/+28
2022-04-05macros: add args for non-subdiagnostic fieldsDavid Wood-1/+7
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-12don't call multipart_suggestionouz-a-7/+1
2022-03-07fixouz-a-0/+6
2022-03-01Add helper function to suggest multiple constraintsMaybe Waffle-163/+235
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-4/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-1/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-3/+3
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-8/+8
2022-01-18Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obkbors-3/+9
2022-01-17Add term to ExistentialProjectionkadmin-3/+9