summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle/src/ty/diagnostics.rs
Commit message (Expand)AuthorAgeFilesLines
* Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-031-2/+2
* Place binder correctly for arbitrary trait bound suggestionMichael Goulet2023-03-061-2/+2
* rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov2023-03-021-3/+3
* Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors2023-02-221-5/+4
|\
| * Remove type-traversal trait aliasesAlan Egerton2023-02-221-5/+4
* | errors: generate typed identifiers in each crateDavid Wood2023-02-221-0/+8
|/
* remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda2023-02-161-2/+2
* change usages of type_of to bound_type_ofKyle Matsuda2023-02-161-2/+4
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-131-1/+1
* Make folding traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Make visiting traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-3/+4
* Modify existing bounds if they existEdward Shen2023-02-061-1/+14
* Make const/fn return params more suggestableMichael Goulet2023-02-031-4/+91
* Rollup merge of #106753 - compiler-errors:rpitit-not-suggestable, r=spastorinoMichael Goulet2023-01-181-5/+12
|\
| * RPITITs are not suggestableMichael Goulet2023-01-121-5/+12
* | Improve a TAIT error and add an error code plus documentationOli Scherer2023-01-161-1/+1
|/
* Rollup merge of #105627 - compiler-errors:dyn-auto-suggestable, r=davidtwcoMatthias Krüger2022-12-151-13/+2
|\
| * Auto traits in dyn are suggestableMichael Goulet2022-12-141-13/+2
* | Ensure no one constructs `AliasTy`s themselvesOli Scherer2022-12-141-2/+2
|/
* Combine projection and opaque into aliasMichael Goulet2022-12-131-3/+3
* squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet2022-12-131-4/+4
* Use ty::OpaqueTy everywhereMichael Goulet2022-12-131-5/+5
* Rollup merge of #104895 - chenyukang:yukang/fix-104884-serde, r=TaKO8KiMatthias Krüger2022-11-301-0/+6
|\
| * fix #104884, Avoid Invalid code suggested when encountering unsatisfied trait...yukang2022-11-291-0/+6
* | Separate lifetime ident from resolution in HIR.Camille GILLOT2022-11-231-4/+3
|/
* Match crate and slug namesmejrs2022-11-211-8/+0
* Store a LocalDefId in hir::GenericParam.Camille GILLOT2022-11-131-7/+4
* Migrate all diagnosticsNilstrieb2022-10-231-1/+1
* Move ReverseMapper logic onto OpaqueHiddenTypeOli Scherer2022-10-071-0/+8
* Plumb dyn trait representation through ty::DynamicEric Holk2022-09-121-1/+1
* Handle generic parameters.Camille GILLOT2022-09-091-1/+1
* Adjust spacing in suggestion, add a testMichael Goulet2022-09-081-2/+2
* Add associated item binding to non-param-ty where clause suggestionsMichael Goulet2022-09-081-1/+13
* Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr2022-07-221-5/+13
* Update TypeVisitor pathsAlan Egerton2022-07-061-2/+2
* Relax constrained generics to TypeVisitableAlan Egerton2022-07-051-3/+3
* Rename the `ConstS::val` field as `kind`.Nicholas Nethercote2022-06-141-1/+1
* Address commentsMichael Goulet2022-06-111-17/+17
* Make is_suggestable work on all TypeFoldableMichael Goulet2022-06-111-14/+47
* Handle empty where-clause betterMichael Goulet2022-06-111-9/+4
* Make Ty::is_suggestable use a visitorMichael Goulet2022-06-111-69/+69
* On E0204 suggest missing type param boundsEsteban Küber2022-06-021-1/+4
* Move things to rustc_type_irWilco Kusee2022-05-281-1/+1
* rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov2022-05-021-1/+1
* Save colon span to suggest bounds.Camille GILLOT2022-04-301-0/+13
* Store all generic bounds as where predicates.Camille GILLOT2022-04-301-239/+95
* Inline WhereClause into Generics.Camille GILLOT2022-04-301-23/+14
* TAITs are suggestableMichael Goulet2022-04-261-14/+24
* Fix wrong suggestions for `T:`Maybe Waffle2022-04-121-7/+28