Agda-2.3.2.2: test/fail/Issue476c.err

Issue476c.agda:12,5-8
Not in scope:
  M.c at Issue476c.agda:12,5-8
when scope checking M.c