Agda-2.3.2.2: test/fail/SplitOnIrrelevant.err
SplitOnIrrelevant.agda:10,1-11,17 Cannot split on argument of irrelevant datatype Bool when checking the definition of not
SplitOnIrrelevant.agda:10,1-11,17 Cannot split on argument of irrelevant datatype Bool when checking the definition of not