Closed
Description
Compiler version
3.4.0-RC1-bin-20230909-64c3138-NIGHTLY
Minimized code
Find definitions in interactive compiler doesn't find any results for A
in MySome
, since it is a distinct symbol from A
in MyOption
and it has zero extent.
enum MyOption[+A]:
case MySome(value: <<A>>)
case MyNone
Expectation
A
in MyOption
should be resolved as the definition.
More context
Here is a workaround in metals pc but it feels like it should be solved on a different level in the compiler, e.g. adding a span of A
in MyOption
to A
in MySome
.