diff options
Diffstat (limited to 'src/test/ui/regions/regions-early-bound-used-in-type-param.rs')
-rw-r--r-- | src/test/ui/regions/regions-early-bound-used-in-type-param.rs | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-early-bound-used-in-type-param.rs b/src/test/ui/regions/regions-early-bound-used-in-type-param.rs new file mode 100644 index 000000000..d58c17ad9 --- /dev/null +++ b/src/test/ui/regions/regions-early-bound-used-in-type-param.rs @@ -0,0 +1,28 @@ +// run-pass +// Tests that you can use a fn lifetime parameter as part of +// the value for a type parameter in a bound. + + +trait Get<T> { + fn get(&self) -> T; +} + +#[derive(Copy, Clone)] +struct Box<T> { + t: T +} + +impl<T:Clone> Get<T> for Box<T> { + fn get(&self) -> T { + self.t.clone() + } +} + +fn add<'a,G:Get<&'a isize>>(g1: G, g2: G) -> isize { + *g1.get() + *g2.get() +} + +pub fn main() { + let b1 = Box { t: &3 }; + assert_eq!(add(b1, b1), 6); +} |