Unable to pattern match an exported enum

[noti0na1]

Compiler version

3.1.3-RC2 and main branch

Minimized code

enum E[T]:
  case A(i: Int)

export E.*

def f(x: E[Int]) = x match
  case A(i) => i

Output

case A(i) => i
|       ^
|       Not found: A

• If we change export to import, there is no error
• If we remove the type parameter of E, there is no error
• If we change case A(i: Int) to case A(i: T), the error is same; change export to import here, there is no error as well
• If we change case A(i: Int) to case A(i: Int) extends E[Int], there is no error

Expectation

I expect the code can be compiled with both import and export.

[bishabosha]

seems that the reason is that all values are exported as def and never as val, and that affects what can be used as en extractor, for example we can "forward it again" manually:

enum E[T]:
  case A(i: Int)

export E.*
val A_Extractor = A // `A` is the exported `E.A`

def f(x: E[Int]) = x match
  case A_Extractor(i) => I

there may be some good reasons not to export as a val, so I wonder if we can tweak the typing of extractor patterns to 'see through' pure methods like export forwarders.