Type inference assigns name to method generic args that conflict with type generic args
Open
Area-FCS
Bug
Impact-Low
- Dominant language
- F#
- Stars
- 4.3k
- Forks
- 876
- Avg merge
- 4d 11h
- Merged PRs (30d)
- 131
Description
This causes problems when resolving inlined expressions in Fable. For example, in the image below, FCS tells Fable there are two generic args for RouteBuilder, both named `a` and when inlining the code, Fable incorrectly assumes `typeof<'a>.Name` is "String" \. See https://github.com/fable-compiler/repl/issues/152

Is this intended or cannot easily be fixed? It'd be very helpful to work on the assumption all generic arguments have unique names.
Contributor guide
Assessment
This issue has not been assessed yet.