blob: 3d6aba8455a949eb9a25b056f80d96be51135b31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// run-pass
#![allow(unused_mut)]
// Test that when instantiating trait default methods, typeck handles
// lifetime parameters defined on the method bound correctly.
pub trait Foo {
fn bar<'a, I: Iterator<Item=&'a ()>>(&self, it: I) -> usize {
let mut xs = it.filter(|_| true);
xs.count()
}
}
pub struct Baz;
impl Foo for Baz {
// When instantiating `Foo::bar` for `Baz` here, typeck used to
// ICE due to the lifetime parameter of `bar`.
}
fn main() {
let x = Baz;
let y = vec![(), (), ()];
assert_eq!(x.bar(y.iter()), 3);
}
|
