[rustc.git] / src / test / ui / early-vtbl-resolution.rs

// 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);
}
Commit	Line	Data
416331ca XL	1	// run-pass
416331ca XL	2
0bf4aa26 XL	3	#![allow(non_camel_case_types)]
0bf4aa26 XL	4	#![allow(dead_code)]
c34b1796 AL	5	// pretty-expanded FIXME #23616
c34b1796 AL	6
223e47cc LB	7	trait thing<A> {
	8	fn foo(&self) -> Option<A>;
	9	}
c34b1796	10	impl<A> thing<A> for isize {
223e47cc LB	11	fn foo(&self) -> Option<A> { None }
	12	}
	13	fn foo_func<A, B: thing<A>>(x: B) -> Option<A> { x.foo() }
	14
c34b1796	15	struct A { a: isize }
223e47cc LB	16
223e47cc LB	17	pub fn main() {
85aaf69f	18	let _x: Option<f64> = foo_func(0);
223e47cc	19	}