fn f() {
match a {
a!() => true,
}
}