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