]>
Commit | Line | Data |
---|---|---|
e1599b0c XL |
1 | fn main() { |
2 | test::<FooS>(&mut 42); //~ ERROR implementation of `Foo` is not general enough | |
3 | } | |
4 | ||
5 | trait Foo<'a> {} | |
6 | ||
7 | struct FooS<'a> { | |
8 | data: &'a mut u32, | |
9 | } | |
10 | ||
11 | impl<'a, 'b: 'a> Foo<'b> for FooS<'a> {} | |
12 | ||
13 | fn test<'a, F>(data: &'a mut u32) where F: for<'b> Foo<'b> {} |