Agda-2.3.2.2: test/fail/PrimitiveInMutual.err

PrimitiveInMutual.agda:10,13-58
Primitive declarations are not allowed in mutual blocks