{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.write_binding_ty(binding,"}]}
        self.write_binding_ty(binding, bound_ty);
        self.write_pat_ty(pat, inner_ty.clone());
        inner_ty