Wrong type annotation generated in the interface file

[soundstep]

Original discussion:
https://forum.rescript-lang.org/t/missing-type-annotation-from-generated-interface-file/5065

Not sure if this is a bug or not but when I generated an interface file using the vscode extension, it converted this type:

type tokenType = | @as("bearer") Bearer

To this type:

type tokenType = Bearer

Produced this error:

Type declarations do not match:
  type tokenType = Bearer
is not included in
  type tokenType = Bearer
The internal representations for case Bearer are not equal.

[zth]

@cristianoc see any easy way of supporting this?

[cristianoc]

The information should be extracted from the types, assuming it's still available.
It should be available somewhere given the type error identifies that there is an inconsistency.
A first step would be fixing the compiler's type error to show the correct representation. Perhaps if the fix is to the printer for types, then that's the only fix required.