blob: 9123871db97908e943535ae64b4369ff191a405a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// compile-flags: -Znext-solver
// check-pass
trait Iter<'a, I: 'a>: Iterator<Item = &'a I> {}
fn needs_iter<'a, T: Iter<'a, I> + ?Sized, I: 'a>(_: &T) {}
fn test(x: &dyn Iter<'_, ()>) {
needs_iter(x);
}
fn main() {}
|