Agda-2.3.2.2: test/fail/Issue477.err

Issue477.agda:4,6-7
Missing type signature for D