//@ 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);
}