idris-1.2.0: test/ffi002/expected

test023.idr:20:26-36:
   |
20 | %provide (t : Type) with badProvider
   |                          ~~~~~~~~~~~
Type provider error: Always fails