| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-11-24 | Move `BoundTy` debruijn index to the `TyKind` enum variant | scalexm | -1/+1 | |
| 2018-11-24 | Introduce `TyKind::Placeholder` variant | scalexm | -0/+1 | |
| 2018-11-03 | Move `BoundTy` to `ty::TyKind` | scalexm | -1/+1 | |
| 2018-10-31 | kill old-style-lub warnings | Niko Matsakis | -11/+0 | |
| 2018-10-20 | Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant type | Fabian Drinck | -1/+1 | |
| 2018-10-13 | Check the invariant for `principal` inside the method | Oliver Scherer | -2/+1 | |
| 2018-10-05 | rustc/ty: simplify common patterns | ljedrz | -13/+12 | |
| 2018-10-05 | rustc/ty: use Cow<str> where applicable | ljedrz | -40/+41 | |
| 2018-10-04 | rename skolemized to placeholder | Niko Matsakis | -3/+3 | |
| 2018-10-03 | Introduce `TyKind::UnnormalizedProjection` | scalexm | -0/+1 | |
| 2018-09-29 | don'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-05 | Changing TyAnon -> TyOpaque and relevant functions | ms2300 | -1/+1 | |
| 2018-08-22 | Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str} | varkor | -3/+3 | |
| 2018-08-22 | Remove Ty prefix from Ty{Foreign|Param} | varkor | -2/+2 | |
| 2018-08-22 | Remove 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-22 | Rename ty::Slice to ty::List | varkor | -1/+1 | |
| 2018-08-19 | mv codemap() source_map() | Donato Sciarra | -1/+1 | |
| 2018-08-12 | wherein we suggest float for integer literals where a float was expected | Zack M. Davis | -1/+16 | |
| Sunjay Varma pointed out that this is a nice thing that we could do. Resolves #53280. | ||||
| 2018-07-28 | Don't format!() string literals | ljedrz | -1/+1 | |
| 2018-05-11 | Introduce ConstValue and use it instead of miri's Value for constant values | John Kåre Alsaker | -1/+1 | |
| 2018-05-08 | Insert fields from TypeAndMut into TyRef to allow layout optimization | John Kåre Alsaker | -9/+6 | |
| 2018-04-26 | rustc_target: move in syntax::abi and flip dependency. | Irina Popa | -1/+1 | |
| 2018-03-14 | remove defaulting to unit | Andrew 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-13 | add `canonicalize` method to `InferCtxt` [VIC] | Niko Matsakis | -0/+1 | |
| 2018-03-08 | Revert all changes to the instcombine pass | Oliver Schneider | -1/+1 | |
| 2018-03-08 | Report errors in statics during collecting instead of translating | Oliver Schneider | -6/+2 | |
| 2018-03-08 | Nuke the entire ctfe from orbit, it's the only way to be sure | Oliver Schneider | -4/+0 | |
| 2018-03-08 | Produce instead of pointers | Oliver Schneider | -4/+7 | |
| 2018-03-01 | kill supporting code from type-variable defaults | Niko Matsakis | -44/+1 | |
| This was all unused anyway. | ||||
| 2018-01-23 | Adds 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-19 | Closure type error ui tweak | Esteban 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-18 | give better error messages when a cycle arises | Niko Matsakis | -2/+14 | |
| 2017-11-17 | issue better error message when LUB/GLB diverge under new behavior | Niko Matsakis | -0/+6 | |
| 2017-11-17 | make LUB/GLB of higher-ranked things actually do EQ | Niko Matsakis | -0/+5 | |
| 2017-10-27 | Implement RFC 1861: Extern types | Paul Lietar | -0/+1 | |
| 2017-09-11 | rustc: use ty::Const for the length of TyArray. | Eduard-Mihai Burtescu | -3/+10 | |
| 2017-09-11 | rustc: replace usize with u64 and ConstUsize. | Eduard-Mihai Burtescu | -1/+3 | |
| 2017-09-01 | rustc: take TyCtxt and RegionMaps in CodeMap::span. | Eduard-Mihai Burtescu | -35/+2 | |
| 2017-08-09 | Merge remote-tracking branch 'origin/master' into gen | Alex Crichton | -7/+7 | |
| 2017-07-29 | Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lint | Vadim Petrochenkov | -7/+7 | |
| 2017-07-28 | Generator literal support | John Kåre Alsaker | -0/+1 | |
| 2017-07-11 | Downgrade ProjectionTy's TraitRef to its substs | Tobias Schottdorf | -6/+6 | |
| Addresses the second part of #42171 by removing the `TraitRef` from `ProjectionTy`, and directly storing its `Substs`. Closes #42171. | ||||
| 2017-05-02 | Rollup merge of #41662 - nikomatsakis:on-demandify-region-mapping, r=eddyb | Corey 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-30 | intern CodeExtents | Niko Matsakis | -5/+5 | |
| Make a `CodeExtent<'tcx>` be something allocated in an arena instead of an index into the `RegionMaps`. | ||||
| 2017-04-23 | Avoid spurious ` ` in lifetime diagnostics | Esteban Küber | -4/+8 | |
| 2017-03-26 | store a copy of the Issue32230 info within TypeError | Ariel 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-13 | some style fixes | Tshepang Lekhonkhobe | -1/+1 | |
| 2017-02-25 | rustc: store type parameter defaults outside of ty::Generics. | Eduard-Mihai Burtescu | -3/+5 | |
| 2017-02-03 | Add warning for () to ! switch | Andrew Cann | -2/+2 | |
| 2017-01-30 | Merge ty::TyBox into ty::TyAdt | Vadim Petrochenkov | -1/+0 | |
