Agda-2.3.2.2: test/fail/Codata.err

Codata.agda:3,1-21
The codata construction has been removed. Use the INFINITY builtin
instead.