Agda-2.3.2.2: test/fail/Issue562.err

Issue562.agda:9,14-15
Not in scope:
  b
  at Issue562.agda:9,14-15
when scope checking b