{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"encode_with_shorthand(e,"}]}
        encode_with_shorthand(e, &kind.skip_binder(), TyEncoder::predicate_shorthands);
        kind.bound_vars().encode(e);
    }