src/test/ui/associated-types/issue-64855.rs


1
2
3
4
5
6
7
8

pub trait Foo {
    type Type;
}

pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
//~^ ERROR the trait bound `Bar<T>: Foo` is not satisfied

fn main() {}