src/test/ui/type-alias-impl-trait/unused_generic_param.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 fn main() {
   7 }
   8
   9 type PartiallyDefined<T> = impl 'static;
  10 //~^ ERROR: at least one trait must be specified
  11
  12 fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> {
  13     4u32
  14 }
  15
  16 type PartiallyDefined2<T> = impl 'static;
  17 //~^ ERROR: at least one trait must be specified
  18
  19 fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> {
  20     4u32
  21 }
  22
  23 fn partially_defined22<T>(_: T) -> PartiallyDefined2<T> {
  24     4u32
  25 }