]> git.lizzy.rs Git - rust.git/commit
Allow impl's to have late-bound regions. Introduces another level of
authorNiko Matsakis <niko@alum.mit.edu>
Sat, 15 Nov 2014 22:25:05 +0000 (17:25 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Tue, 18 Nov 2014 17:32:38 +0000 (12:32 -0500)
commit5a28d178afcecfb6d2231bb461c5a66864c50f0d
tree39573028b7601a8acc4866a8579991bf619ab774
parent6fb68f1c813657f0fe6b43be008480822767b891
Allow impl's to have late-bound regions. Introduces another level of
region binding at the impl site, so for method types that come from impls,
it is necessary to liberate/instantiate late-bound regions at multiple
depths.
19 files changed:
src/librustc/middle/resolve_lifetime.rs
src/librustc/middle/subst.rs
src/librustc/middle/traits/coherence.rs
src/librustc/middle/traits/mod.rs
src/librustc/middle/traits/select.rs
src/librustc/middle/traits/util.rs
src/librustc/middle/ty.rs
src/librustc/middle/ty_fold.rs
src/librustc/middle/typeck/check/method/confirm.rs
src/librustc/middle/typeck/check/method/mod.rs
src/librustc/middle/typeck/check/method/probe.rs
src/librustc/middle/typeck/check/mod.rs
src/librustc/middle/typeck/check/vtable.rs
src/librustc/middle/typeck/check/wf.rs
src/librustc/middle/typeck/collect.rs
src/librustc/middle/typeck/infer/error_reporting.rs
src/librustc/middle/typeck/infer/mod.rs
src/librustc/util/ppaux.rs
src/librustc_trans/trans/callee.rs