Agda-2.3.2.2: test/fail/Issue484.err

Issue484.agda:10,8-13
Not in scope:
  A.foo at Issue484.agda:10,8-13
when scope checking A.foo