Agda-2.3.2.2: test/fail/WithScopeError.err

WithScopeError.agda:11,11-12
Not in scope:
  y
  at WithScopeError.agda:11,11-12
when scope checking y