Agda-2.3.2.2: test/fail/UninstantiatedDotPattern.err

UninstantiatedDotPattern.agda:5,3-5
Failed to infer the value of dotted pattern
when checking that the pattern .X has type Set