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

ceff9f3
Opened by Patrick Walton at 2011-01-27 01:58:27

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.

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

    Graydon Hoare at 2011-01-27 01:58:27