about summary refs log tree commit diff
path: root/src/librustc/ty/error.rs
AgeCommit message (Collapse)AuthorLines
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
2019-01-26remove `_with_applicability` from suggestion fnsAndy Russell-1/+1
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-1/+5
Add support for trait-objects without a principal The hard-error version of #56481 - should be merged after we do something about the `traitobject` crate. Fixes #33140. Fixes #57057. r? @nikomatsakis
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-3/+4
Don't emit `Unevaluated` from `const_eval` cc @eddyb @RalfJung
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-1/+5
should be a pure refactoring.
2019-01-02improve handling for subtypeNiko Matsakis-15/+5
Still not great, but good enough to land this PR.
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-3/+4
2018-12-31Improve type mismatch error messagesYuning Zhang-2/+2
Replace "integral variable" with "integer" and replace "floating-point variable" with "floating-point number" to make the message less confusing.
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-1/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+1
2018-10-31kill old-style-lub warningsNiko Matsakis-11/+0
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-1/+1
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-2/+1
2018-10-05rustc/ty: simplify common patternsljedrz-13/+12
2018-10-05rustc/ty: use Cow<str> where applicableljedrz-40/+41
2018-10-04rename skolemized to placeholderNiko Matsakis-3/+3
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+1
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-3/+3
This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)!
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-3/+3
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from ↵varkor-25/+25
Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-08-22Rename ty::Slice to ty::Listvarkor-1/+1
2018-08-19mv codemap() source_map()Donato Sciarra-1/+1
2018-08-12wherein we suggest float for integer literals where a float was expectedZack M. Davis-1/+16
Sunjay Varma pointed out that this is a nice thing that we could do. Resolves #53280.
2018-07-28Don't format!() string literalsljedrz-1/+1
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-1/+1
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-9/+6
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-1/+1
2018-03-14remove defaulting to unitAndrew Cann-1/+1
Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-0/+1
2018-03-08Revert all changes to the instcombine passOliver Schneider-1/+1
2018-03-08Report errors in statics during collecting instead of translatingOliver Schneider-6/+2
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-4/+0
2018-03-08Produce instead of pointersOliver Schneider-4/+7
2018-03-01kill supporting code from type-variable defaultsNiko Matsakis-44/+1
This was all unused anyway.
2018-01-23Adds support for immovable generators. Move checking of invalid borrows ↵John Kåre Alsaker-0/+1
across suspension points to borrowck. Fixes #44197, #45259 and #45093.
2017-12-19Closure type error ui tweakEsteban Küber-4/+2
Do not point at the same span on all notes/help messages, and instead show them without a span.
2017-11-18give better error messages when a cycle arisesNiko Matsakis-2/+14
2017-11-17issue better error message when LUB/GLB diverge under new behaviorNiko Matsakis-0/+6
2017-11-17make LUB/GLB of higher-ranked things actually do EQNiko Matsakis-0/+5
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+1