summary refs log tree commit diff
path: root/src/librustc/ty/error.rs
AgeCommit message (Collapse)AuthorLines
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
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-2/+2
2016-11-30Auto merge of #37954 - eddyb:rustdoc-2, r=alexcrichtonbors-8/+2
rustdoc: link to cross-crate sources directly. Fixes #37684 by implementing proper support for getting the `Span` of definitions across crates. In rustdoc this is used to generate direct links to the original source instead of fragile redirects. This functionality could be expanded further for making error reporting code more uniform and seamless across crates, although at the moment there is no actual source to print, only file/line/column information. Closes #37870 which is also "fixes" #37684 by throwing away the builtin macro docs from libcore. After this lands, #37727 could be reverted, although it doesn't matter much either way.
2016-11-30rustc: track the Span's of definitions across crates.Eduard-Mihai Burtescu-8/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-2/+7
Renames TyTrait to TyDynamic.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-15 01:22:06 +0000