Agda-2.3.2.2: test/fail/RecordConstructorOutOfScope.err

RecordConstructorOutOfScope.agda:7,8-11
Not in scope:
  con
  at RecordConstructorOutOfScope.agda:7,8-11
when scope checking con