{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"self.fuzzy_provenance_int2ptr_lint(fcx);"}]}
                self.fuzzy_provenance_int2ptr_lint(fcx);
            (Int(_), Ptr(mt)) => {
                self.check_addr_ptr_cast(fcx, mt)