cannot assign to nullary variant

[nikomatsakis]

I believe this ought to work, but you currently get an error about shadowing a variant:

enum foo { foo }

fn test(f: foo) {
    let foo = f;
}

fn main() {}

[brson]

It doesn't work because foo is a pattern binding. It's annoying.

[nikomatsakis]

But foo is not a pattern binding, it's a variant. That's my point. I
believe the consistent thing to do is interpret this as an irrefutable
pattern. OTOH, maybe inconsistency is better because it's almost certainly
not what the user intended (that is, the user almost certainly intended
this as a variable name)

[catamorphism]

How much does it matter? This only seems to come up with types that are isomorphic to the () type, and I'm not sure how many types like that users are going to define :-) (In other words, I'm suggesting that the current behavior is ok because no one is likely to run into this problem in practice.)

[nikomatsakis]

I basically agree. In fact, I thought I closed this issue.