On 10-11-25 02:47 PM, Sebastian Sylvan wrote:
On Thu, Nov 25, 2010 at 6:54 PM, Graydon Hoare<[email protected]> wrote:
On 10-11-25 08:50 AM, Igor Bukanov wrote:
My preference is the option 1.
Aw man! We were almost drifting towards a consensus. Nuts!
More dissenting opinions then!
How about 2, but with a tweak to the type checker so it only unifies the
types of the two arms if it *really* needs to?
I'm reasonably sure this means "option 4". Can you read it carefully and
clarify exactly how what you're asking for differs?
(Trying to minimize live options here)
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
