| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2015-07-24 | nits | Niko Matsakis | -1/+1 | |
| 2015-07-24 | Unify the upvar variables found in closures with the actual types of the | Niko Matsakis | -5/+56 | |
| upvars after analysis is done. Remove the `closure_upvars` helper and just consult this list of type variables directly. | ||||
| 2015-07-24 | Introduce ClosureSubsts rather than just having random fields in the | Niko Matsakis | -2/+2 | |
| TyClosure variant; thread this through wherever closure substitutions are expected, which leads to a net simplification. Simplify trans treatment of closures in particular. | ||||
| 2015-07-24 | introduce a Vec<Ty> to TyClosure for storing upvar types | Niko Matsakis | -1/+2 | |
| 2015-07-10 | Rename TypeWithMutability to TypeAndMut | Jared Roesch | -1/+1 | |
| 2015-07-08 | Remove snake_case names from ty.rs | Jared Roesch | -1/+1 | |
| 2015-06-30 | Remove Typer and ClosureTyper | Jared Roesch | -5/+1 | |
| This commit finalizes the work of the past commits by fully moving the fulfillment context into the InferCtxt, cleaning up related context interfaces, removing the Typer and ClosureTyper traits and cleaning up related intefaces | ||||
| 2015-06-26 | rustc: switch most remaining middle::ty functions to methods. | Eduard Burtescu | -8/+8 | |
| 2015-06-26 | rustc: make ty::mk_* constructors into methods on ty::ctxt. | Eduard Burtescu | -2/+2 | |
| 2015-06-26 | rustc: combine type-flag-checking traits and fns and into one trait. | Eduard Burtescu | -1/+1 | |
| 2015-06-25 | Rename AsPredicate to ToPredicate in order to match naming conventions | Jared Roesch | -2/+2 | |
| 2015-06-23 | Remove the mostly unecessary ParamBounds struct | Jared Roesch | -8/+3 | |
| 2015-06-19 | rustc: remove Repr and UserString. | Eduard Burtescu | -13/+12 | |
| 2015-06-19 | rustc: replace Repr/UserString impls with Debug/Display ones. | Eduard Burtescu | -32/+2 | |
| 2015-06-19 | rustc: use the TLS type context in Repr and UserString. | Eduard Burtescu | -19/+19 | |
| 2015-06-12 | Split TyArray into TyArray and TySlice. | Eli Friedman | -0/+1 | |
| Arrays and slices are closely related, but not that closely; making the separation more explicit is generally more clear. | ||||
| 2015-06-12 | Cleanup: rename middle::ty::sty and its variants. | Eli Friedman | -20/+20 | |
| Use camel-case naming, and use names which actually make sense in modern Rust. | ||||
| 2015-06-10 | Removed many pointless calls to *iter() and iter_mut() | Joshua Landau | -2/+2 | |
| 2015-04-30 | Stop using Rc in TraitRef and TraitDef | Ariel Ben-Yehuda | -3/+2 | |
| The former stopped making sense when we started interning substs and made TraitRef a 2-word copy type, and I'm moving the latter into an arena as they live as long as the type context. | ||||
| 2015-04-18 | Rather than storing the relations between free-regions in a global | Niko Matsakis | -0/+487 | |
| table, introduce a `FreeRegionMap` data structure. regionck computes the `FreeRegionMap` for each fn and stores the result into the tcx so that borrowck can use it (this could perhaps be refactored to have borrowck recompute the map, but it's a bid tedious to recompute due to the interaction of closures and free fns). The main reason to do this is because of #22779 -- using a global table was incorrect because when validating impl method signatures, we want to use the free region relationships from the *trait*, not the impl. Fixes #22779. | ||||
