idris-0.9.14.1: test/reg049/expected

reg049.idr:2:9:When elaborating constructor Main.Bogus:
{__False0} is not Main.Foo