error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  --> $DIR/issue-55872-2.rs:13:20
   |
LL |     fn foo<T>() -> Self::E {
   |                    ^^^^^^^

error: aborting due to 1 previous error

