Agda-2.3.2.2: test/fail/DataRecordCoinductive.err

Termination checking failed for the following functions:
  consume
Problematic calls:
  consume xs
    (at DataRecordCoinductive.agda:35,29-36)