You can pass generic arguments to a module path segment if the module reexports an enum variant

[fmease]

What the-.

enum Enum<T> { Variant, Carry(T) }

mod module { pub(super) use super::Enum::Variant; }

fn scope() {
    let _ = module::<i32>::Variant; // OK! 😨
    let _ = self::module::<()>::Variant {}; // OK! 😨
}

I expected that we would only allow generic arguments on the penultimate segment if it actually referred to an enum (and no generic arguments were passed to the final segment).

If the second-to-last segment doesn't refer to an enum (here: module), I expected us to prohibit generic argument lists on it.

[fmease]

We also call module an enum in diagnostics:

enum Enum { Variant }

mod module { pub(super) use super::Enum::Variant; }

fn scope() {
    let _ = module::<i32>::Variant;
}

error[E0107]: enum takes 0 generic arguments but 1 generic argument was supplied
 --> src/lib.rs:6:10
  |
6 |     let _ = module::<i32>::Variant;
  |             ^^^^^^------- help: remove the unnecessary generics
  |             |
  |             expected 0 generic arguments
  |
note: enum defined here, with 0 generic parameters
 --> src/lib.rs:1:6
  |
1 | enum Enum { Variant }
  |      ^^^^