[rustc.git] / src / test / ui / traits / ufcs-trait-object.rs

// run-pass
// Test that when you use ufcs form to invoke a trait method (on a
// trait object) everything works fine.


trait Foo {
    fn test(&self) -> i32;
}

impl Foo for i32 {
    fn test(&self) -> i32 { *self }
}

fn main() {
    let a: &dyn Foo = &22;
    assert_eq!(Foo::test(a), 22);
}
Commit	Line	Data
b7449926	1	// run-pass
85aaf69f SL	2	// Test that when you use ufcs form to invoke a trait method (on a
85aaf69f SL	3	// trait object) everything works fine.
223e47cc	4
c34b1796	5
85aaf69f SL	6	trait Foo {
	7	fn test(&self) -> i32;
	8	}
223e47cc	9
85aaf69f SL	10	impl Foo for i32 {
	11	fn test(&self) -> i32 { *self }
	12	}
223e47cc LB	13
223e47cc LB	14	fn main() {
dc9dc135	15	let a: &dyn Foo = &22;
85aaf69f	16	assert_eq!(Foo::test(a), 22);
223e47cc	17	}