1 2 3
trait Tr {} type Huh<T> where T: Tr = isize; //~ ERROR type parameter `T` is unused fn main() {}