tests/ui/inference/need_type_info/type-alias-indirect.rs

   1 // An addition to the `type-alias.rs` test,
   2 // see the FIXME in that file for why this test
   3 // exists.
   4 //
   5 // If there is none, feel free to remove this test
   6 // again.
   7 struct Ty<T>(T);
   8 impl<T> Ty<T> {
   9     fn new() {}
  10 }
  11
  12 type IndirectAlias<T> = Ty<Box<T>>;
  13 fn indirect_alias() {
  14     IndirectAlias::new();
  15     //~^ ERROR type annotations needed
  16 }
  17
  18 fn main() {}