{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"self.cx.context.new_cast(self.location,"}]}
            self.cx.context.new_cast(self.location, ptr, modified_destination_type.make_pointer());
        let modified_ptr =
        let modified_destination = modified_ptr.dereference(self.location);