Agda-2.3.2.2: test/fail/OpenInMutual.err

OpenInMutual.agda:9,8-9
Open declarations are not allowed in mutual blocks