show warning when function returning `Not[Never]` contains a `Never` loop
Open
scoping-control-flow
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
```py
def f() -> int:
while True:
pass
```
while being valid within the type system, this code is clearly a mistake, i would expect a warning to be displayed
### Sandbox Link
_No response_
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.