Use the type of the discriminant when inferring types for pattern arms

[pcwalton]

alt (...) { case (none) { ... } } doesn't work because the compiler don't know what kind of "none" it is. This could be inferred from the discriminant.

[graydon]

WONTFIX (not required for bootstrapping; works in rustc automatically, I hope; re-open if not)