Type checker: extension member is reported as resolved when object type is clearly not applicable
Open
Area-Compiler-Checking-Overloads
Feature Improvement
Impact-Low
- Dominant language
- F#
- Stars
- 4.3k
- Forks
- 876
- Avg merge
- 4d 11h
- Merged PRs (30d)
- 131
Description
```fsharp
open System.Runtime.CompilerServices
[]
type Ext =
[]
static member M(tuple: int * int) = 1
"".M()
```
Expected: `M` is not resolved.
Actual: `M` is resolved but produces type error:
Contributor guide
Assessment
This issue has not been assessed yet.