AbsurdPatternRequiresNoRHS.agda:7,8-9
The right-hand side must be omitted if there is an absurd pattern,
() or {}, in the left-hand side.
when checking that the clause f () = _ has type False → True

———— All done; warnings encountered ————————————————————————

AbsurdPatternRequiresNoRHS.agda:7,8-9
The right-hand side must be omitted if there is an absurd pattern,
() or {}, in the left-hand side.
when checking that the clause f () = _ has type False → True
