Agda-2.3.2.2: test/fail/NotAnExpression.err

NotAnExpression.agda:5,5-10
x@y is not a valid expression.
when scope checking x@y