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