```

def f() -> NoReturn

  while True:

    ...

x = f()

```

Neither pytype nor mypy currently catch it.

martin