Agda-2.3.2.2: test/fail/NotLeqSort.agda

module NotLeqSort where

data Err : Set where
  err : (A : Set) -> Err