src/test/ui/impl-trait/issue-55872.stderr

   1 error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
   2   --> $DIR/issue-55872.rs:13:28
   3    |
   4 LL |       fn foo<T>() -> Self::E {
   5    |  ____________________________^
   6 LL | |
   7 LL | |         || ()
   8 LL | |     }
   9    | |_____^
  10
  11 error: aborting due to previous error
  12