{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"(Int(_),"}]}
            (Int(_), Ptr(mt)) => {
            // addr-ptr-cast
                self.fuzzy_provenance_int2ptr_lint(fcx);