Agda-2.3.2.2: test/fail/NoSuchModule.err

NoSuchModule.agda:3,6-7
No such module X
when scope checking the declaration
  open X