infer `Never` return type from `Never` function called in body

### Description

Code sample in [basedpyright playground](https://basedpyright.com/?typeCheckingMode=all&code=CYUwZgBGCMAUCUAuAUBNEBOBDAlgZxAgDkB7AFwEkBbABwBsQqQA7MkYAUQwxI2WVCQwAJgQp0EAO4ALHAwgAVDAFcQ4iehpY8efoKgBmManQwEJtCPNA)

```python
def f1(): # -> Never
    raise NotImplementedError

def f2(): # -> Never
    while True:
        pass

def f3(): # -> None
    f1()
    f2()
```
