summary refs log tree commit diff
path: root/src/librustc/ty/error.rs
AgeCommit message (Collapse)AuthorLines
2019-11-21Auto merge of #66610 - alexreg:trait-upcasting-cosmetic, r=Centrilbors-4/+5
Aggregation of drive-by cosmetic changes for trait-upcasting PR Cherry-picked from #60900. As requested by @Centril (and @nikomatsakis, I believe). r? @Centril
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-4/+5
2019-11-18Surround types with backticks in type errorsEsteban Küber-4/+4
2019-11-18Remove E0308 note when primary label has all infoEsteban Küber-19/+52
2019-11-18review comments: tweak prefix stringsEsteban Küber-4/+4
2019-11-18Specific labels when referring to "expected" and "found" typesEsteban Küber-0/+31
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-2/+2
2019-11-10Merge hir::Mutability into ast::Mutability.Camille GILLOT-1/+1
2019-11-06Rollup merge of #66139 - euclio:pluralize, r=nagisaMazdak Farrokhzad-7/+7
use American spelling for `pluralize!`
2019-11-05use American spelling for `pluralize!`Andy Russell-7/+7
2019-11-02Prettify mismatched types error message in a special caseDmitry Kadashev-12/+12
Type parameters are referenced in the error message after the previous few commits (using span label). But when the main error message already references the very same type parameter it becomes clumsy. Do not show the additional label in this case as per code review comment by @estebank. Also this contains a small style fix.
2019-11-02Show type param definitions in type mismatch errorsDmitry Kadashev-2/+17
Fixes #47319. Shows the type parameter definition(s) on type mismatch errors so the context is clearer. Pretty much changes the following: ``` LL | bar1(t); | ^ | | | expected enum `std::option::Option`, found type parameter `T` ``` into: ``` LL | fn foo1<T>(t: T) { | - this type parameter LL | bar1(t); | ^ | | | expected enum `std::option::Option`, found type parameter `T` ```
2019-11-02Add type parameter name to type mismatch error messagesDmitry Kadashev-1/+1
Part of #47319. This just adds type parameter name to type mismatch error message, so e.g. the following: ``` expected enum `std::option::Option`, found type parameter ``` becomes ``` expected enum `std::option::Option`, found type parameter `T` ```
2019-10-23Auto merge of #57545 - bovinebuddha:object_safe_for_dispatch, r=nikomatsakisbors-1/+2
Object safe for dispatch cc #43561
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-1/+2
These are a squashed series of commits.
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-1/+0
2019-09-27Remove lift_to_globalMark Rousskov-1/+1
2019-09-25Fix rebasevarkor-2/+2
2019-09-25Rename `sty` to `kind`varkor-2/+2
2019-09-21Rollup merge of #63907 - estebank:assoc-type-mismatch, r=oli-obkMazdak Farrokhzad-4/+92
Add explanation to type mismatch involving type params and assoc types CC #63711
2019-09-20factor out pluralisation remains after #64280gaolei-1/+1
2019-09-18Add explanation to type mismatch involving type params and assoc typesEsteban Küber-4/+92
2019-09-08Refactor PluralisationV1shvesh-6/+1
Modify files performing pluralisation checks to incorporate the dedicated macro located in `syntax::errors`.
2019-09-06Correct pluralisation of various diagnostic messagesvarkor-1/+3
2019-09-02Emit error on intrinsic to fn ptr castsMark Rousskov-0/+5
2019-08-21review comments: reword and add testEsteban Küber-2/+2
2019-08-21Add clarification on E0308 about opaque typesEsteban Küber-0/+1
2019-08-21Fix typo in E0308 if/else labelEsteban Küber-5/+16
2019-08-11Remove `is_self` and `has_self_ty` methodsMatthew Jasper-7/+1
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-1/+1
2019-08-05Don't abort on unevaluated constants without at least tryting to eval themOliver Scherer-1/+1
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-3/+6
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-3/+3
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-2/+2
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-2/+2
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-2/+2
2019-05-28Correct pluralisation of tuple/array/associated type binding mismatch errorsvarkor-7/+18
2019-05-28Reintroduce `TypeError::FixedArraySize`varkor-0/+7
2019-05-28Use Display rather than Debug printing for const mismatchvarkor-1/+1
2019-05-28Remove FixedArraySize errorvarkor-7/+0
2019-05-01Fix rebase from LazyConst removalvarkor-1/+1
2019-05-01Inline ConstError into TypeErrorvarkor-20/+2
2019-05-01Add `ConstError`varkor-0/+23
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-03-16Revert the `LazyConst` PROliver Scherer-6/+3
2019-03-15rustc: print elided regions as '_ instead of nothing, and use a separate ↵Eduard-Mihai Burtescu-1/+1
check when optional.
2019-03-15rustc: centralize region printing in ty::RegionKind's Print impl.Eduard-Mihai Burtescu-6/+11
2019-03-15rustc: rename item_path to def_path (except the module in ty).Eduard-Mihai Burtescu-7/+7
2019-02-21restore the actual leak-checkNiko Matsakis-1/+15
2019-02-13Rename rustc_errors dependency in rust 2018 cratesTaiki Endo-1/+1
2019-02-05move librustc to 2018Mark Mansi-4/+4