| Graydon Hoare | d1affff | 2012-12-11 01:32:48 | [diff] [blame] | 1 | // Copyright 2012 The Rust Project Developers. See the COPYRIGHT |
| 2 | // file at the top-level directory of this distribution and at |
| 3 | // http://rust-lang.org/COPYRIGHT. |
| 4 | // |
| 5 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 6 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 7 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 8 | // option. This file may not be copied, modified, or distributed |
| 9 | // except according to those terms. |
| 10 | |
| Patrick Walton | 02e804b | 2012-12-17 22:57:37 | [diff] [blame] | 11 | #[allow(default_methods)]; |
| 12 | |
| Brian Anderson | 05e51e6 | 2012-12-03 02:29:22 | [diff] [blame] | 13 | trait A { |
| Luqman Aden | 178882c | 2013-02-15 10:44:18 | [diff] [blame^] | 14 | fn g<T>(x: T, y: T) -> (T, T) { (x, y) } |
| Brian Anderson | 05e51e6 | 2012-12-03 02:29:22 | [diff] [blame] | 15 | } |
| 16 | |
| Patrick Walton | 9143688 | 2013-02-14 19:47:00 | [diff] [blame] | 17 | impl A for int { } |
| Brian Anderson | 05e51e6 | 2012-12-03 02:29:22 | [diff] [blame] | 18 | |
| 19 | fn f<T, V: A>(i: V, j: T, k: T) -> (T, T) { |
| Luqman Aden | 178882c | 2013-02-15 10:44:18 | [diff] [blame^] | 20 | i.g(j, k) |
| Brian Anderson | 05e51e6 | 2012-12-03 02:29:22 | [diff] [blame] | 21 | } |
| 22 | |
| 23 | fn main () { |
| 24 | assert f(0, 1, 2) == (1, 2); |
| 25 | assert f(0, 1u8, 2u8) == (1u8, 2u8); |
| 26 | } |
