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

   1 #![feature(type_alias_impl_trait)]
   2
   3 fn main() {
   4 }
   5
   6 type PartiallyDefined<T> = impl 'static;
   7 //~^ ERROR: at least one trait must be specified
   8
   9 fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> {
  10     4u32
  11 }
  12
  13 type PartiallyDefined2<T> = impl 'static;
  14 //~^ ERROR: at least one trait must be specified
  15
  16 fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> {
  17     4u32
  18 }
  19
  20 fn partially_defined22<T>(_: T) -> PartiallyDefined2<T> {
  21     4u32
  22 }