src/test/ui/type-alias-impl-trait/generic_not_used.min_tait.stderr

   1 error: at least one trait must be specified
   2   --> $DIR/generic_not_used.rs:8:33
   3    |
   4 LL | type WrongGeneric<T: 'static> = impl 'static;
   5    |                                 ^^^^^^^^^^^^
   6
   7 error: type parameter `V` is part of concrete type but not used in parameter list for the `impl Trait` type alias
   8   --> $DIR/generic_not_used.rs:11:73
   9    |
  10 LL |   fn wrong_generic<U: 'static, V: 'static>(_: U, v: V) -> WrongGeneric<U> {
  11    |  _________________________________________________________________________^
  12 LL | |
  13 LL | |     v
  14 LL | | }
  15    | |_^
  16
  17 error: aborting due to 2 previous errors
  18