summary refs log tree commit diff
path: root/src/librustc/ty/instance.rs
AgeCommit message (Collapse)AuthorLines
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