{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"ty::ClauseKind::ConstArgHasType(..)"}]}
        ty::ClauseKind::ConstArgHasType(..) => {
            .emit()),
            // FIXME(min_specialization), FIXME(const_generics):