about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/error.rs
AgeCommit message (Expand)AuthorLines
2023-03-11remove duplicated calls to sort_stringklensy-6/+2
2023-02-13fix: improve the suggestion on future not awaitedVincenzo Palazzo-1/+1
2023-01-30Fix unquoted projection types in labelEsteban Küber-1/+1
2023-01-30Mention fn coercion rules (needs to be expanded)Esteban Küber-1/+1
2023-01-30review commentsEsteban Küber-36/+43
2023-01-30Modify primary span label for E0308Esteban Küber-124/+67
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-2/+3
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-632/+5
2023-01-11Be more specific about constructor `FnDef`s in type mismatchMichael Goulet-3/+11
2023-01-04get_parent and find_parentMichael Goulet-1/+1
2023-01-04rename get_parent_node to parent_idMichael Goulet-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-13/+14
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-5/+5
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-9/+9
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-11Fix typo in comment: length_limitJesse Ruderman-1/+1
2022-12-10Introduce `with_forced_trimmed_paths`Esteban Küber-16/+30
2022-11-28Further tweak the type shortening logicEsteban Küber-2/+3
2022-11-28Detect long types in E0308 and write them to diskEsteban Küber-10/+18
2022-11-25remove `TypeError::ObjectUnsafeCoercion`lcnr-4/+1
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-3/+1
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-3/+1
2022-11-18review commentEsteban Küber-5/+5
2022-11-18On overflow errors, do not print out long typesEsteban Küber-0/+37
2022-11-01Fix ICE in default impl error reportingMichael Goulet-1/+3
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-3/+3
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-1/+1
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-2/+2
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-2/+3
2022-08-29Display raw pointer as `*{mut,const} T` instead of `*-ptr` in errorsnils-1/+14
2022-08-16Fix error message with non-tupled bare fn traitMichael Goulet-0/+12
2022-08-14TypeError can be CopyMichael Goulet-5/+6
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-1/+2
2022-07-24Combine redundant obligation cause codesMichael Goulet-6/+2
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-1/+1
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-05-22Do leak check after function ptr coercionJack Huey-5/+4
2022-05-10only_local: always check for misuselcnr-5/+2
2022-04-30Store all generic bounds as where predicates.Camille GILLOT-44/+15
2022-04-30Inline WhereClause into Generics.Camille GILLOT-1/+1
2022-04-10FIXME for diagnostic variable nameMichael Goulet-61/+63
2022-04-05span: move `MultiSpan`David Wood-2/+2
2022-03-15Support other types of pluralization in pluralize macroest31-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-02-25Auto merge of #93368 - eddyb:diagbld-guarantee, r=estebankbors-9/+17
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-9/+17
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-4/+3