dotnet / dotnet/fsharp

Spurious casual type parameters on a method

Open
#18,760 0 comments 1 reaction 0 assignees View on GitHub
Area-Compiler-SigFileGen Bug Theme-Simple-F#
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 22h
Merged PRs (30d)
144

Description

```fsharp
type Class =
static member ProcessIEQ<'a when 'a:>IEquatable<'a>>(expected: 'a) = ()
Class.ProcessIEQ(0)
```

Hovering over `ProcessIEQ` in the last line gives:

Image

- The formal generic argument `'a` has been removed.
- Two casual type parameters `'a` and `'0` (sorry I don't know the terminology for these - things that don't come directly after the method name as inputs) have been created in its place.

VS 17.14.6

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.