Infer generic callable signatures
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
For lambdas, arguments should get generic types instead of Unknown, since then type inference can be done for the return types upon usage. See the sandbox for an examples.
### Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AqADrow1emACu6AMYNcuKHE7de-Yqj4RUUESOybEdOA0p0AvHSEgDla3tEAGC3Sioa2TKjpgFRyjAAbjA6APpMxDAAFL64AJR0dADEdKjKMPiRcjCYdFEAqugA1ui4AO7ocSIBwWER0WCOCcl0GVn8ANoAKgC6MX50XQkAtAB8g9VBIVDhzA2OUbZxCSltMHLGpg6YMGA%2BAIxRcYgiiYkBDJKU6D4LS5O1M-Ux%2B82rmev8R3Rjm3boD2ms0iLyOK1aHw2Jn%2B212dDYjm6fViRiGYy6JxuZwuVxusUBdTmUQRb1S6UhDByRiR-VwqJG4y6sL2bEOx1O2Jgl2u8Lumiq6BqQOerNJaQh7SpeQZfxAABoQGQAmAoKRCPIaFAKCkAAqkZWq4wYHAEOgyXCiCBsK6oBgQC2EEQpADKMBgdAAFgwGMQ4IgAPT%2BpW7VWEXhsf0wdD%2BzC4GRwf3my3Wyi2%2B3Rny8VKBVDQVDYWBmi2QFNpi10XDEO0WuCO9BkBgei3DYKUODplzWADMhH2ACZ7OgOjBKNQ2z0RNIuDw%2BDlhpgIAE5BBgi4AORW0oBNciUoMYYBACOkkXc6KMFIw1QMhk8GUljXZU06B36BAAF8Fde7cEAGLQGAKDQLA8CIMgPyAA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.