]>
Commit | Line | Data |
---|---|---|
476ff2be SL |
1 | pub trait Resources<'a> {} |
2 | ||
3 | pub trait Buffer<'a, R: Resources<'a>> { | |
7cac9316 | 4 | |
476ff2be SL |
5 | fn select(&self) -> BufferViewHandle<R>; |
6 | //~^ ERROR mismatched types | |
7 | //~| lifetime mismatch | |
476ff2be SL |
8 | //~| ERROR mismatched types |
9 | //~| lifetime mismatch | |
476ff2be SL |
10 | } |
11 | ||
12 | pub struct BufferViewHandle<'a, R: 'a+Resources<'a>>(&'a R); | |
13 | ||
14 | fn main() {} |