about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/diagnostics.rs
AgeCommit message (Expand)AuthorLines
2023-03-06Place binder correctly for arbitrary trait bound suggestionMichael Goulet-2/+2
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-3/+3
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-5/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-5/+4
2023-02-22errors: generate typed identifiers in each crateDavid Wood-0/+8
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-2/+4
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
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