blob: c712f15e3246385ba119ecaa66932cb375dde02f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Regression test for #54467:
//
// Here, the trait object has an "inferred outlives" requirement that
// `<Self as MyIterator<'a>>::Item: 'a`; but since we don't know what
// `Self` is, we were (incorrectly) messing things up, leading to
// strange errors. This test ensures that we do not give compilation
// errors.
//
// check-pass
trait MyIterator<'a>: Iterator where Self::Item: 'a { }
struct MyStruct<'a, A> {
item: Box<dyn MyIterator<'a, Item = A>>
}
fn main() { }
|
