[ issue 1236 ] test case.
[ issue 1236 ] fixed by replacing the __IMPOSSIBLE__
[ release ] Bump to 2.4.0.3 (forgotten hunk in Agda.cabal).
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
Merge branch 'maint-2.4.0'