src/test/ui/type-alias-impl-trait/type-alias-impl-trait-tuple.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4 #![allow(dead_code)]
   5
   6 pub trait MyTrait {}
   7
   8 impl MyTrait for bool {}
   9
  10 struct Blah {
  11     my_foo: Foo,
  12     my_u8: u8
  13 }
  14
  15 impl Blah {
  16     fn new() -> Blah {
  17         Blah {
  18             my_foo: make_foo(),
  19             my_u8: 12
  20         }
  21     }
  22     fn into_inner(self) -> (Foo, u8) {
  23         (self.my_foo, self.my_u8)
  24     }
  25 }
  26
  27 fn make_foo() -> Foo {
  28     true
  29 }
  30
  31 type Foo = impl MyTrait;
  32
  33 fn main() {}