Wrong typing rule in "if"

[illbexyz]

class A
class B implements A
class C implements A
;
let
    A a = if true then {new B()} else {new C()};
in
    print(1);

This should not throw an error.