basic.rs

match 'foo {
   'foo => {
       if some_thing {
           match 'bar;
       } else if other_thing {
           match 'baz;
       }
    }
    'bar => { blah(); match 'baz; }
    'baz => { blahblah(); match 'foo; }
}

computed.rs

match 'foo {
   'foo => {
       match if some_thing {
           'bar
       } else if other_thing {
           'baz
       } else {
           'end
       }
    }
    'bar => { blah(); match 'baz; }
    'baz => { blahblah(); match 'foo; }

    'end => {}
}

pattern_matching.rs

enum Matcher { Foo, Bar(int), Baz(float) }

match xyz {
    Foo => {
       if some_thing {
           match Bar(10);
       } else if other_thing {
           match Baz(10000.0);
       }
    }
    Bar(n) => { blah(n); match Baz(1.2); }
    Baz(f) => { blahblah(f); match Foo; }
}

A basic sketch of what this might look like when used for a yield state machine compiler. (Probably unworkable... it somehow has to handle the loop properly.)