Agda-2.3.2.2: test/fail/IlltypedPattern.err

IlltypedPattern.agda:9,5-9
Type mismatch
when checking that the pattern zero has type A