about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/diagnostics.rs
AgeCommit message (Collapse)AuthorLines
2021-09-07Don't move ?Trait bounds to param bounds if they're in where clausesjackh726-9/+3
2021-07-30Do not discard `?Sized` type params and suggest their removalEsteban Küber-0/+112
2021-06-08use non_erasable_genericsEllen-1/+1
2021-05-29Fix missing note on type mismatch error diagnosticsEllen-1/+1
2021-03-18hir: Preserve used syntax in `TyKind::TraitObject`Vadim Petrochenkov-0/+1
2021-02-17In some limited cases, suggest `where` bounds for non-type paramsEsteban Küber-0/+30
Partially address #81971.
2021-02-15Use ItemId as a strongly typed index.Camille GILLOT-1/+1
2021-02-02Bump rustfmt versionMark Rousskov-7/+11
Also switches on formatting of the mir build module
2021-01-18Move a few more types to `rustc_type_ir`LeSeulArtichaut-2/+1
2021-01-02reduce borrowing and (de)referencing around match patterns ↵Matthias Krüger-2/+2
(clippy::match_ref_pats)
2020-09-21Reduce boilerplate with the matches! macroLingMan-16/+16
Replaces simple bool `match`es of the form match $expr { $pattern => true _ => false } and their inverse with invocations of the matches! macro.
2020-09-14clean up comment text a bitiximeow-3/+3
Co-authored-by: Esteban Küber <esteban@kuber.com.ar>
2020-09-13fix syntax error in suggesting generic constraint in trait parameteriximeow-20/+46
suggest `where T: Foo` for the first bound on a trait, then suggest `, T: Foo` when the suggested bound would add to an existing set of `where` clauses. `where T: Foo` may be the first bound if `T` has a default, because we'd rather suggest ``` trait A<T=()> where T: Copy ``` than ``` trait A<T: Copy=()> ``` for legibility reasons.
2020-09-04Change ty.kind to a methodLeSeulArtichaut-4/+4
2020-08-30mv compiler to compiler/mark-0/+270