error: type parameter `impl Deref` is part of concrete type but not used in parameter list for the `impl Trait` type alias --> $DIR/issue-57700.rs:16:58 | LL | fn foo(self: impl Deref) -> Self::Bar { | __________________________________________________________^ LL | | LL | | self LL | | } | |_____^ error: aborting due to previous error