Agda-2.3.2.2: test/fail/NoParseForApplication.err

NoParseForApplication.agda:12,11-14
Could not parse the application ! x
when scope checking ! x