about summary refs log tree commit diff
path: root/src/librustc/ty/instance.rs
AgeCommit message (Collapse)AuthorLines
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-1/+1
2018-04-24Make Binder's field private and clean up its usageTyler 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-13transition various normalization functions to the new methodsNiko 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-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko 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-08Add a variant to ConstVal for storing miri resultsOliver Schneider-2/+2
2018-03-06Add `inline` to `TransFnAttrs`Wesley Wiser-3/+2
Part of #47320
2018-02-23Introduce UnpackedKindvarkor-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-01Fix docs for future pulldown migrationMalo Jaffré-1/+1
2017-12-18normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda-6/+1
Also remove `def_ty`, which was a footgun because it did not do the above.
2017-12-18Test with trans_apply_param_substsMaik Klein-1/+2
2017-12-18Move instance related methods from TyCtxt to InstanceMaik Klein-0/+36
2017-12-18Move common.rs functionality into TyCtxtMaik Klein-0/+9
2017-12-11Merge remote-tracking branch 'origin/master' into miriOliver Schneider-2/+2
2017-12-07make `fn_sig().subst()` ICE when used with a closureNiko 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-06Update miri to rustc changesOliver Schneider-1/+211
2017-11-18stop using the `closure_kinds` query / table for anythingNiko Matsakis-1/+1
Closure Kind is now extracted from the closure substs exclusively.
2017-11-05Fix MIR inlining panic in generic functionsinkuu-1/+1
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.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-25Resolve types properly in const evalOliver Schneider-2/+2
2017-10-08Turn `trans_fulfill_obligation` into a queryWesley Wiser-2/+1
Part of #44891
2017-09-29make match exaustiveDouglas Campos-10/+13
2017-09-29improve documentation for resolve()Douglas Campos-2/+18
2017-09-29style fixes as requested by @eddybDouglas Campos-2/+0
2017-09-29stop using monomorphize::resolve()Douglas Campos-2/+5
2017-09-29take ParamEnv into account when resolvingDouglas Campos-3/+4
2017-09-29make it not to be a methodDouglas Campos-8/+7
2017-09-29copy resolve() over to librustcDouglas Campos-0/+191
2017-09-20Implement `Copy`/`Clone` for closuresscalexm-1/+1
2017-09-13bring TyCtxt into scopeDouglas Campos-4/+4
2017-08-14Rename `BuiltinShim` -> `CloneShim`scalexm-3/+3
2017-08-14Make `Clone` a lang item and generate builtin impls.scalexm-8/+18
Fixes #28229. Fixes #24000.
2017-07-10Allow 'tcx in define_dep_nodes! and deduplicate some DepNodes.Michael Woerister-22/+0
2017-06-09incr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs.Michael Woerister-3/+4
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-1/+1
2017-04-22cache attributes of items from foreign cratesAriel 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-18translate drop glue using MIRAriel 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-18translate closure shims using MIRAriel Ben-Yehuda-11/+5
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-6/+28
This removes the duplication between collector, callee, and (eventually) MIRI.
2017-03-18move Instance to rustc and use it in the collectorAriel Ben-Yehuda-0/+105