{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"PredicateKind::Coerce(coerce_predicate)"}]}
            PredicateKind::Coerce(coerce_predicate) => {
            }
                crate::ty::PredicateKind::Coerce(coerce_predicate.stable(tables, cx))