diff options
Diffstat (limited to 'src/test/ui/methods/method-two-trait-defer-resolution-1.rs')
-rw-r--r-- | src/test/ui/methods/method-two-trait-defer-resolution-1.rs | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/test/ui/methods/method-two-trait-defer-resolution-1.rs b/src/test/ui/methods/method-two-trait-defer-resolution-1.rs new file mode 100644 index 000000000..b768620cd --- /dev/null +++ b/src/test/ui/methods/method-two-trait-defer-resolution-1.rs @@ -0,0 +1,37 @@ +// run-pass +#![allow(non_camel_case_types)] + +// Test that we pick which version of `foo` to run based on the +// type that is (ultimately) inferred for `x`. + + +trait foo { + fn foo(&self) -> i32; +} + +impl foo for Vec<u32> { + fn foo(&self) -> i32 {1} +} + +impl foo for Vec<i32> { + fn foo(&self) -> i32 {2} +} + +fn call_foo_uint() -> i32 { + let mut x = Vec::new(); + let y = x.foo(); + x.push(0u32); + y +} + +fn call_foo_int() -> i32 { + let mut x = Vec::new(); + let y = x.foo(); + x.push(0i32); + y +} + +fn main() { + assert_eq!(call_foo_uint(), 1); + assert_eq!(call_foo_int(), 2); +} |