{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"category,"}]}
            category,
            locations,
            param_env.and(type_op::prove_predicate::ProvePredicate { predicate }),