Agda-2.3.2.2: test/fail/TwoCompilers.agda

module TwoCompilers where