| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-04-26 | rustc_target: move in syntax::abi and flip dependency. | Irina Popa | -1/+1 | |
| 2018-04-24 | Make Binder's field private and clean up its usage | Tyler Mandry | -1/+1 | |
| 2018-03-13 | `trans_apply_param_substs` => `subst_and_normalize_erasing_regions` | Niko Matsakis | -2/+10 | |
| Consolidate `trans_apply_param_substs` and `trans_apply_param_substs_env`. Also remove `trans_impl_self_ty` | ||||
| 2018-03-13 | transition various normalization functions to the new methods | Niko Matsakis | -1/+1 | |
| In particular: - `fully_normalize_monormophic_ty` => `normalize_erasing_regions` - `normalize_associated_type_in_env` => `normalize_erasing_regions` - `fully_normalize_associated_types_in` => `normalize_erasing_regions` - `erase_late_bound_regions_and_normalize` => `normalize_erasing_late_bound_regions` | ||||
| 2018-03-13 | refactor `ParamEnv::empty(Reveal)` into two distinct methods | Niko Matsakis | -1/+1 | |
| - `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment | ||||
| 2018-03-08 | Add a variant to ConstVal for storing miri results | Oliver Schneider | -2/+2 | |
| 2018-03-06 | Add `inline` to `TransFnAttrs` | Wesley Wiser | -3/+2 | |
| Part of #47320 | ||||
| 2018-02-23 | Introduce UnpackedKind | varkor | -4/+1 | |
| This adds an `UnpackedKind` type as a typesafe counterpart to `Kind`. This should make future changes to kinds (such as const generics!) more resilient, as the type-checker should catch more potential issues. | ||||
| 2018-01-01 | Fix docs for future pulldown migration | Malo Jaffré | -1/+1 | |
| 2017-12-18 | normalize the results of `tcx.type_of` after substituting | Ariel Ben-Yehuda | -6/+1 | |
| Also remove `def_ty`, which was a footgun because it did not do the above. | ||||
| 2017-12-18 | Test with trans_apply_param_substs | Maik Klein | -1/+2 | |
| 2017-12-18 | Move instance related methods from TyCtxt to Instance | Maik Klein | -0/+36 | |
| 2017-12-18 | Move common.rs functionality into TyCtxt | Maik Klein | -0/+9 | |
| 2017-12-11 | Merge remote-tracking branch 'origin/master' into miri | Oliver Schneider | -2/+2 | |
| 2017-12-07 | make `fn_sig().subst()` ICE when used with a closure | Niko Matsakis | -2/+2 | |
| It's inefficient, and the substitution there doesn't account for the extra regions used by NLL inference, so it's a bad thing to encourage. As it happens all callers already know if they have a closure or not, from what I can tell. | ||||
| 2017-12-06 | Update miri to rustc changes | Oliver Schneider | -1/+211 | |
| 2017-11-18 | stop using the `closure_kinds` query / table for anything | Niko Matsakis | -1/+1 | |
| Closure Kind is now extracted from the closure substs exclusively. | ||||
| 2017-11-05 | Fix MIR inlining panic in generic function | sinkuu | -1/+1 | |
| 2017-11-03 | [Syntax Breaking] Rename DefaultImpl to AutoImpl | leonardo.yvens | -1/+1 | |
| DefaultImpl is a highly confusing name for what we now call auto impls, as in `impl Send for ..`. The name auto impl is not formally decided but for sanity anything is better than `DefaultImpl` which refers neither to `default impl` nor to `impl Default`. | ||||
| 2017-10-25 | Resolve types properly in const eval | Oliver Schneider | -2/+2 | |
| 2017-10-08 | Turn `trans_fulfill_obligation` into a query | Wesley Wiser | -2/+1 | |
| Part of #44891 | ||||
| 2017-09-29 | make match exaustive | Douglas Campos | -10/+13 | |
| 2017-09-29 | improve documentation for resolve() | Douglas Campos | -2/+18 | |
| 2017-09-29 | style fixes as requested by @eddyb | Douglas Campos | -2/+0 | |
| 2017-09-29 | stop using monomorphize::resolve() | Douglas Campos | -2/+5 | |
| 2017-09-29 | take ParamEnv into account when resolving | Douglas Campos | -3/+4 | |
| 2017-09-29 | make it not to be a method | Douglas Campos | -8/+7 | |
| 2017-09-29 | copy resolve() over to librustc | Douglas Campos | -0/+191 | |
| 2017-09-20 | Implement `Copy`/`Clone` for closures | scalexm | -1/+1 | |
| 2017-09-13 | bring TyCtxt into scope | Douglas Campos | -4/+4 | |
| 2017-08-14 | Rename `BuiltinShim` -> `CloneShim` | scalexm | -3/+3 | |
| 2017-08-14 | Make `Clone` a lang item and generate builtin impls. | scalexm | -8/+18 | |
| Fixes #28229. Fixes #24000. | ||||
| 2017-07-10 | Allow 'tcx in define_dep_nodes! and deduplicate some DepNodes. | Michael Woerister | -22/+0 | |
| 2017-06-09 | incr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs. | Michael Woerister | -3/+4 | |
| 2017-04-24 | rustc: rename some of the queries to match tcx methods. | Eduard-Mihai Burtescu | -1/+1 | |
| 2017-04-22 | cache attributes of items from foreign crates | Ariel Ben-Yehuda | -4/+1 | |
| this avoids parsing item attributes on each call to `item_attrs`, which takes off 33% (!) of translation time and 50% (!) of trans-item collection time. | ||||
| 2017-03-18 | translate drop glue using MIR | Ariel Ben-Yehuda | -1/+8 | |
| Drop of arrays is now translated in trans::block in an ugly way that I should clean up in a later PR, and does not handle panics in the middle of an array drop, but this commit & PR are growing too big. | ||||
| 2017-03-18 | translate closure shims using MIR | Ariel Ben-Yehuda | -11/+5 | |
| 2017-03-18 | resolve instances to ty::Instance directly | Ariel Ben-Yehuda | -6/+28 | |
| This removes the duplication between collector, callee, and (eventually) MIRI. | ||||
| 2017-03-18 | move Instance to rustc and use it in the collector | Ariel Ben-Yehuda | -0/+105 | |
