3 #![allow(non_camel_case_types)]
5 // pretty-expanded FIXME #23616
8 fn foo(&self) -> Option<A>;
10 impl<A> thing<A> for isize {
11 fn foo(&self) -> Option<A> { None }
13 fn foo_func<A, B: thing<A>>(x: B) -> Option<A> { x.foo() }
18 let _x: Option<f64> = foo_func(0);