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

   1 // revisions: min_tait full_tait
   2 #![feature(min_type_alias_impl_trait)]
   3 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   4 //[full_tait]~^ WARN incomplete
   5
   6 use std::fmt::Debug;
   7
   8 fn main() {}
   9
  10 type Two<T, U> = impl Debug;
  11 //~^ ERROR `T` doesn't implement `Debug`
  12
  13 fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> {
  14     (t, 4u32)
  15 }
  16
  17 fn three<T: Debug, U: Debug>(_: T, u: U) -> Two<T, U> {
  18     //~^ concrete type differs from previous
  19     (u, 4u32)
  20 }