In the proposed case then why not just:

    case x:Bar if x.foo = ... =>

?