// run-pass
// Test that we are able to infer that the type of `x` is `isize` based
// on the expected type from the object.

// pretty-expanded FIXME #23616

pub trait ToPrimitive {
    fn to_int(&self) {}
}

impl ToPrimitive for isize {}
impl ToPrimitive for i32 {}
impl ToPrimitive for usize {}

fn doit<T>(val: T, f: &dyn Fn(T)) { f(val) }

pub fn main() {
    doit(0, &|x /*: isize*/ | { x.to_int(); });
}