idris-0.9.15: test/reg049/expected

reg049.idr:2:9:When elaborating constructor Main.Bogus:
Void is not Main.Foo