1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // Tests that you can use a fn lifetime parameter as part of
12 // the value for a type parameter in a bound.
16 fn get(&self) -> &'a T;
19 #[derive(Copy, Clone)]
20 struct Box<'a, T:'a> {
24 impl<'a,T:Clone> GetRef<'a,T> for Box<'a,T> {
25 fn get(&self) -> &'a T {
30 fn add<'a,G:GetRef<'a, isize>>(g1: G, g2: G) -> isize {
35 let b1 = Box { t: &3 };
36 assert_eq!(add(b1, b1), 6);