{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
                self.sub_types(op_arg_ty, *fn_arg, term_location.to_locations(), category)
                span_mirbug!(