match x:
    case x as y:
        pass
    case (x as y) as z:
        pass