{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"PredicateKindOrStructBody::PredicateKind(kind)"}]}
                        PredicateKindOrStructBody::PredicateKind(kind) => Some(kind),
                    )? {
                        PredicateKindOrStructBody::StructBody(body) => {