idris-0.9.19: test/quasiquote003/expected

NoInfer.idr:11:5:When checking right hand side of zzz:
No such variable k