{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"right.ty(self.body,"}]}
                        right.ty(self.body, tcx)
                        ty_left,
                    ),