summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2017-06-04Auto merge of #42362 - estebank:type, r=arielb1bors-0/+16
2017-06-04Show trait method signature when impl differsEsteban Küber-0/+16
2017-06-03Auto merge of #42332 - michaelwoerister:no-more-retracing, r=nikomatsakisbors-2/+2
2017-06-01strip param-env from infcxNiko Matsakis-23/+0
2017-06-01move projection mode into parameter environmentNiko Matsakis-4/+10
2017-06-01Auto merge of #42281 - eddyb:well-adjusted, r=nikomatsakisbors-59/+0
2017-06-01rustc: replace autoderefs' use of MethodCallee with OverloadedDeref.Eduard-Mihai Burtescu-12/+0
2017-06-01rustc: remove unnecessary ItemSubsts wrapper.Eduard-Mihai Burtescu-13/+0
2017-06-01rustc: replace TyFnDef in MethodCallee with just the FnSig.Eduard-Mihai Burtescu-2/+6
2017-06-01rustc: keep overloaded autoderef MethodCallee's in Adjust.Eduard-Mihai Burtescu-38/+0
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-2/+2
2017-05-31Make a newtype for DefPathHash so they are not confused with content hashesMichael Woerister-2/+2
2017-05-27Rollup merge of #42207 - Nashenas88:remove_fragment_info, r=eddybMark Simulacrum-11/+0
2017-05-25Hygienize `librustc_typeck`.Jeffrey Seyfried-15/+33
2017-05-24Remove all instances of fragment_infos and fragment setsPaul Faria-11/+0
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-3/+3
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-14/+14
2017-05-22kill NEEDS_DROP_CACHEDNiko Matsakis-4/+0
2017-05-22kill FREEZENESS_CACHEDNiko Matsakis-2/+0
2017-05-22kill SIZEDNESS_CACHEDNiko Matsakis-2/+0
2017-05-22remove the cell from type flags completelyNiko Matsakis-2/+1
2017-05-22refactor common logic into `ParameterEnvironment::and()`Niko Matsakis-4/+27
2017-05-22make parameter-environment a queryNiko Matsakis-32/+31
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-51/+23
2017-05-18Use 128 instead of 64 bits for DefPath hashesMichael Woerister-2/+2
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-32/+6
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-1/+2
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-36/+23
2017-05-13rustc_typeck: do not leak late-bound lifetimes from bounds to closures.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: move liberate_late_bound_regions to rustc_typeck.Eduard-Mihai Burtescu-1/+0
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-41/+8
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-115/+10
2017-05-11replace the type generalizer with one based on varianceNiko Matsakis-0/+60
2017-05-09resolved merge conflictsachernyak-43/+38
2017-05-08removed unnecessary ifachernyak-3/+0
2017-05-06rustc: treat const bodies like fn bodies in middle::region.Eduard-Mihai Burtescu-33/+15
2017-05-05Rollup merge of #41734 - nikomatsakis:incr-comp-refactor-variance, r=pnkfelixCorey Farwell-10/+23
2017-05-05propper trait of item implachernyak-1/+1
2017-05-05change various uses of `item_variances` to `variances_of`Niko Matsakis-1/+1
2017-05-04impl_parentachernyak-1/+1
2017-05-04trait_of_itemachernyak-16/+18
2017-05-03kill the old `visit_all_item_likes` infrastructureNiko Matsakis-10/+1
2017-05-03factor variances into a proper queryNiko Matsakis-0/+22
2017-05-03item_attrsachernyak-1/+1
2017-05-02Rollup merge of #41625 - nikomatsakis:incr-comp-dep-tracking-cell-mir, r=eddybCorey Farwell-29/+28
2017-05-02rename from `item_mir` to `optimized_mir`Niko Matsakis-15/+6
2017-05-02Store interned predicates in ParameterEnvironmentTobias Schottdorf-9/+9
2017-05-02introduce idea of "stealable" MIRNiko Matsakis-6/+7
2017-05-02retool MIR passes completelyNiko Matsakis-4/+12
2017-05-02introduce `mir_keys()`Niko Matsakis-12/+11