dotnet / dotnet/fsharp

Confusing use of ticks in FS0064 warning.

Open
#18,810 11 comments 1 reaction 0 assignees View on GitHub
Theme-Simple-F#
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 11h
Merged PRs (30d)
131

Description

See the real life situation here https://github.com/dotnet/fsharp/discussions/18808

One type argument is `'TRequest`, the other `'TRequest'`

The first impression is that the warning message adds it's own ticks without rhyme or reason:

`This construct causes code to be less generic than indicated by the type annotations. The type variable 'TRequest' has been constrained to be type ''TRequest'`

It's also not correct in the sense that the second part is not actual type but a type variable.

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.