trait Trait {
    type Type;
}

fn foo<T: Trait<Type = u8>>(t: T) {}

fn main() {
    println!("Hello, world!");
}