| //@ run-pass | |
| #![allow(non_camel_case_types)] | |
| #![allow(dead_code)] | |
| //@ pretty-expanded FIXME #23616 | |
| trait thing<A> { | |
| fn foo(&self) -> Option<A>; | |
| } | |
| impl<A> thing<A> for isize { | |
| fn foo(&self) -> Option<A> { None } | |
| } | |
| fn foo_func<A, B: thing<A>>(x: B) -> Option<A> { x.foo() } | |
| struct A { a: isize } | |
| pub fn main() { | |
| let _x: Option<f64> = foo_func(0); | |
| } |