blob: 1c2e6456937bb289dffd1f297434976bbe55f649 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
//@ dont-require-annotations: NOTE
pub trait Resources<'a> {}
pub trait Buffer<'a, R: Resources<'a>> {
fn select(&self) -> BufferViewHandle<R>;
//~^ ERROR mismatched types
//~| NOTE lifetime mismatch
//~| ERROR mismatched types
//~| NOTE lifetime mismatch
}
pub struct BufferViewHandle<'a, R: 'a+Resources<'a>>(&'a R);
fn main() {}
|
