Agda-2.3.2.2: test/fail/SafeFlagPostulate.err
SafeFlagPostulate.agda:5,11-29 Cannot postulate inhabitant with safe flag when scope checking the declaration inhabitant : Empty
SafeFlagPostulate.agda:5,11-29 Cannot postulate inhabitant with safe flag when scope checking the declaration inhabitant : Empty