src/test/run-pass/early-vtbl-resolution.rs

   1 #![allow(non_camel_case_types)]
   2 #![allow(dead_code)]
   3 // pretty-expanded FIXME #23616
   4
   5 trait thing<A> {
   6     fn foo(&self) -> Option<A>;
   7 }
   8 impl<A> thing<A> for isize {
   9     fn foo(&self) -> Option<A> { None }
  10 }
  11 fn foo_func<A, B: thing<A>>(x: B) -> Option<A> { x.foo() }
  12
  13 struct A { a: isize }
  14
  15 pub fn main() {
  16     let _x: Option<f64> = foo_func(0);
  17 }