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