Agda-2.3.2.2: test/fail/LetPair.err

LetPair.agda:17,7-18
Expected record pattern
when checking the let binding a , b = p