Enum variants with no fields must still be called like functions

[jfecher]

Aim

fn main() {
    let _foo: Foo = Foo::Bar;
}

enum Foo {
    Bar
}

Expected Behavior

The program to compile

Bug

error: Expected type Foo, found type fn() -> Foo
  ┌─ src/main.nr:2:21
  │
2 │     let _foo: Foo = Foo::Bar;
  │                     --------
  │

The compiler treats Foo::Bar as a function despite it being declared as Bar instead of Bar().

Fixing this requires a new type of definition in Noir since Foo::Bar would normally be a global constant with its tag value, but this does not work for generic types since Noir doesn't support generic globals.

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response