With application is successfully parsed in LHS

[spcfox]

Steps to Reproduce

f : () -> ()
f (MkUnit | x) = ()

Expected Behavior

Error during parsing:

Idris2/src/Idris/Parser.idr

Line 275 in 457ca7c

else fail "| not allowed here"

Observed Behavior

Error during elaboration:

Error: While processing left hand side of f. with application not implemented yet

Main:2:4--2:14
 1 | f : () -> ()
 2 | f (MkUnit | x) = ()
        ^^^^^^^^^^

Idris2/src/TTImp/Elab/Term.idr

Line 162 in 457ca7c

= throw (GenericMsg fc "with application not implemented yet")