from typing import *

class ReadWrites(NamedTuple):
    field: int

    def __iter__(self) -> Iterator[str]:
        ...

def f(rw: ReadWrites):
    for k in rw:
        reveal_type(k) # reveals int, but should reveal str