mirror of https://github.com/rust-lang/rust
18 lines
482 B
Rust
18 lines
482 B
Rust
// 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() { }
|