{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        ty::trait_def::TraitSpecializationKind::AlwaysApplicable
        ty::trait_def::TraitSpecializationKind::None