Should Enum::Variant::<TyArgs> be disabled?

[esdrubal]

We have the following comment in our codebase:

sway/sway-core/src/semantic_analysis/ast_node/expression/typed_expression.rs

Lines 1042 to 1054 in c6be336

	// TODO: This also bans `Enum::<TyArgs>::Variant` but there's no good reason to ban that.
	// Instead, we should allow this but ban `Enum::Variant::<TyArgs>`, which Rust does allow,
	// but shouldn't, because with GADTs, we could ostensibly have the equivalent of:
	// ```haskell
	// {-# LANGUAGE GADTs, RankNTypes #-}
	// data Foo where Bar :: forall a. Show a => a -> Foo
	// ```
	// or to illustrate with Sway-ish syntax:
	// ```rust
	// enum Foo {
	// Bar<A: Debug>: A, // Let's ignore memory representation, etc.
	// }
	// ```

Should we disable Enum::Variant::<TyArgs> and only accept Enum::<TyArgs>::Variant, or do we follow Rust behavior here also and accept both?