fn f() {
    match a {
        <T as Trait>::CONST => true,
    }
}