src/test/ui/generics/generic-default-type-params.rs

   1 // run-pass
   2 struct Foo<A = (isize, char)> {
   3     a: A
   4 }
   5
   6 impl Foo<isize> {
   7     fn bar_int(&self) -> isize {
   8         self.a
   9     }
  10 }
  11
  12 impl Foo<char> {
  13     fn bar_char(&self) -> char {
  14         self.a
  15     }
  16 }
  17
  18 impl Foo {
  19     fn bar(&self) {
  20         let (i, c): (isize, char) = self.a;
  21         assert_eq!(Foo { a: i }.bar_int(), i);
  22         assert_eq!(Foo { a: c }.bar_char(), c);
  23     }
  24 }
  25
  26 impl<A: Clone> Foo<A> {
  27     fn baz(&self) -> A {
  28         self.a.clone()
  29     }
  30 }
  31
  32 fn default_foo(x: Foo) {
  33     let (i, c): (isize, char) = x.a;
  34     assert_eq!(i, 1);
  35     assert_eq!(c, 'a');
  36
  37     x.bar();
  38     assert_eq!(x.baz(), (1, 'a'));
  39 }
  40
  41 #[derive(PartialEq, Debug)]
  42 struct BazHelper<T>(T);
  43
  44 #[derive(PartialEq, Debug)]
  45 // Ensure that we can use previous type parameters in defaults.
  46 struct Baz<T, U = BazHelper<T>, V = Option<U>>(T, U, V);
  47
  48 fn main() {
  49     default_foo(Foo { a: (1, 'a') });
  50
  51     let x: Baz<bool> = Baz(true, BazHelper(false), Some(BazHelper(true)));
  52     assert_eq!(x, Baz(true, BazHelper(false), Some(BazHelper(true))));
  53 }