{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"self.sub_types("}]}
                        self.sub_types(
                            self.infcx.next_ty_var(self.body.source_info(location).span);
                            ty_left,