summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/error.rs
AgeCommit message (Expand)AuthorLines
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
2022-02-19Adopt let else in more placesest31-5/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-3/+3
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-2/+2
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-1/+1
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-1/+1
2021-12-11Tweak assoc type obligation spansEsteban Kuber-4/+2
2021-11-28Take a LocalDefId in expect_*item.Camille GILLOT-3/+1
2021-10-28implement type-changing-struct-updateSparrowLii-0/+3
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-4/+7
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-4/+7
2021-10-16Fix an ICE with TAITs and FutureYuki Okushi-5/+10
2021-09-10Keep a parent LocalDefId in SpanData.Camille GILLOT-1/+1
2021-08-27Add `ty::BoundConstness`Deadbeef-2/+2
2021-08-25Use if-let guards in the codebaseLéo Lanteri Thauvin-17/+13
2021-08-20move `fallback_if_possible` and friends to fallback.rsNiko Matsakis-6/+0
2021-08-13move Constness into TraitPredicateDeadbeef-3/+9
2021-07-23Fix span when suggesting to add an associated type boundGiacomo Stevanato-20/+45
2021-05-11Use .name_str() to format primitive types in error messagesFabian Wolff-2/+15
2021-04-08Use more accurate spans for trait/impl method arg divergenceEsteban Küber-5/+8
2021-04-02Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebankbors-16/+32
2021-03-31Add tcx lifetime to BinderJack Huey-1/+3
2021-03-16fix expected/found order on impl trait projection mismatchSNCPlay42-16/+32
2021-03-03Fix testsRyan Levick-2/+0
2021-02-19Rollup merge of #81496 - guswynn:expected_async_block, r=oli-obkDylan DPC-3/+3
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-6/+34