Aliased imports of enum variants does not work

[jjcnn]

The following program causes a problem:

// a.sw
library;

pub enum Enum {
    X: u64,
}

// main.sw
use a::Enum::X as Y;  // Renames X to Y within main.sw

fn main() {
  let _ = Y(42); // Create a value out of Enum::X, but using the aliased name
}

This causes an error in the Y(42) expression saying that Y is not bound.

It is not clear to me what ought to happen. I see two options:

• The above program should be legal, and the expression Y(42) should create the value a::Enum::X(42).
• Aliasing an enum variant is illegal, and an error should be reported on the line use ... as Y.

Since neither of these options correspond to the current behavior I consider the current behavior to be a bug.

[Dr-Maxwell]

The Issue:

You're trying to alias an enum variant (X) with a new name (Y) within your main.sw file.
However, the compiler throws an error saying Y is not bound, indicating it doesn't recognize the alias.
Expected Behavior (Option 1):

Ideally, the program should be legal. Using Y(42) should create a value of type a::Enum::X(42).
Current Behavior (Bug):

Aliasing enum variants seems to be unsupported in this context.
My own take :

Don't Alias Variants:

The simplest solution is to remove the alias line entirely. Instead of:

use a::Enum::X as Y;
Use the original variant directly:

let _ = a::Enum::X(42);
Check Language Support:

It's possible that the language you're using (.sw suggests a custom language) doesn't support aliasing enum variants. Refer to the language documentation to confirm if this feature is available.
Report the Bug:

If aliasing enum variants should be supported, consider reporting this as a bug to the language developers. They can investigate and potentially fix the issue in future versions.

[jjcnn]

The test should_pass/language/reexport/aliases has a number of disabled cases that tests enum variant aliasing.