Return type inference for mutually recursive functions
Open
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
Both return types have `Unknown` and the second one doesn't know the return type of the first one. I assume this is because we don't use a fixpoint or similar construct.
### Sandbox Link
https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMoBUAUEQCYCmws5AzjAIwAUAHgFxQBGYYANgJSsiUTFTZDhUEORgBXECmp0ATCz7jyPGuUETJ0uQvokKVGLRgq2nbvx0ioY3VNnzFDVes3bxw5wahKREA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.