summary refs log tree commit diff
path: root/src/librustc/ty/error.rs
AgeCommit message (Collapse)AuthorLines
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
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-3/+10
2017-09-11rustc: replace usize with u64 and ConstUsize.Eduard-Mihai Burtescu-1/+3
2017-09-01rustc: take TyCtxt and RegionMaps in CodeMap::span.Eduard-Mihai Burtescu-35/+2
2017-08-09Merge remote-tracking branch 'origin/master' into genAlex Crichton-7/+7
2017-07-29Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lintVadim Petrochenkov-7/+7
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+1
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-6/+6
Addresses the second part of #42171 by removing the `TraitRef` from `ProjectionTy`, and directly storing its `Substs`. Closes #42171.
2017-05-02Rollup merge of #41662 - nikomatsakis:on-demandify-region-mapping, r=eddybCorey Farwell-5/+5
On demandify region mapping This is an adaptation of @cramertj's PR. I am sort of tempted to keep simplifying it, but also tempted to land it so and we can refactor more in follow-up PRs. As is, it does the following things: - makes the region-maps an on-demand query, per function `tcx.region_maps(def_id)` - interns code extents instead of of having them be integers - remove the "root region extent" and (to some extent) item extents; instead we use `Option<CodeExtent<'tcx>>` in a few places (no space inefficiency since `CodeExtent<'tcx>` is now a pointer). I'm not entirely happy with the way I have it setup though. Here are some of the changes I was considering (I'm not sure if they would work out well): 1. Removing `item_extents` entirely -- they are rarely used now, because most of the relevant places now accept an `Option<Region<'tcx>>` or an `Option<CodeExtent<'tcx>>`, but I think still used in a few places. 2. Merging `RegionMaps` into the typeck tables, instead of having it be its own query. 3. Change `CodeExtent<'tcx>` to store the parent pointer. This would mean that fewer places in the code actually *need* a `RegionMaps` anyhow, since most of them just want to be able to walk "up the tree". On the other hand, you wouldn't be able to intern a `CodeExtent<'tcx>` for some random node-id, you'd need to look it up in the table (since there'd be more information). Most of this code is semi-temporary -- I expect it to largely go away as we move to NLL -- so I'm also not *that* concerned with making it perfect. r? @eddyb
2017-04-30intern CodeExtentsNiko Matsakis-5/+5
Make a `CodeExtent<'tcx>` be something allocated in an arena instead of an index into the `RegionMaps`.
2017-04-23Avoid spurious ` ` in lifetime diagnosticsEsteban Küber-4/+8
2017-03-26store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-7/+7
The data can't be looked up from the region variable directly, because the region variable might have been destroyed at the end of a snapshot. Fixes #40000. Fixes #40743.
2017-03-13some style fixesTshepang Lekhonkhobe-1/+1
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-3/+5
2017-02-03Add warning for () to ! switchAndrew Cann-2/+2
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+0