trait Tr {
    const C: Self;
}

fn main() {
    let a: u8 = Tr::C; //~ ERROR the trait bound `u8: Tr` is not satisfied
}