Agda-2.3.2.2: test/fail/Impossible.err
An internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/ImpossibleTest.hs:8
An internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/ImpossibleTest.hs:8