Don't force the same type in match arms that are only evaluated for side effects or allow ; in match arms

[mahkoh]

match x {
    A => f(),
    B => g(),
}

This does not work if f and g return different types. Since the return value is discarded, this does not matter. Alternatively:

match x {
    A => f();,
    B => g();,
}

[keeperofdakeys]

You can already do this using braces.

match x {
    A => { f(); }
    B => { g(); }
}

[mahkoh]

Which is why this is no problem with if { } else { } which forces braces. Not having to add braces to match arms improves readability.

[mahkoh]

Maybe using ; instead of , as the match arm delimiter could mean that the value is discarded? The version above would then look like

match x {
    A => f();
    B => g();
}

Or

let y: () = match x {
    A => 1;
    B => 2;
};

[steveklabnik]

I'm pulling a massive triage effort to get us ready for 1.0. As part of this, I'm moving stuff that's wishlist-like to the RFCs repo, as that's where major new things should get discussed/prioritized.

This issue has been moved to the RFCs repo: rust-lang/rfcs#746