Agda-2.3.2.2: test/fail/SafeFlagPostulate.agda

module SafeFlagPostulate where

data Empty : Set where

postulate inhabitant : Empty