|
// Test that disallow lifetime parameters that are unused.
|
|
|
|
enum Foo<'a> { //~ ERROR parameter `'a` is never used
|
|
//~^ ERROR recursive types `Foo` and `Bar` have infinite size
|
|
Foo1(Bar<'a>)
|
|
}
|
|
|
|
enum Bar<'a> { //~ ERROR parameter `'a` is never used
|
|
Bar1(Foo<'a>)
|
|
}
|
|
|
|
fn main() {}
|