type Foo<
    Unused //~ ERROR type parameter `Unused` is unused
    > = u8;

fn main() {

}