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