fn f() { match a { 1 => true } }