Bug 4030 – Better object array literal type inference

In the following D2 program the compiler can refuse the line 6, because it must refuse to guess (if p1 is an array of A or B). But at line 7 the compiler has enough information to not guess (it's an array of A), so line 7 can be accepted by the compiler: class A {} class B : A {} final class C1 : B {} final class C2 : B {} void main() { auto p1 = [new C1, new C2]; // line 6, don't guess A[] p2 = [new C1, new C2]; // line 7, no need to guess }

There is an even shorter example which fails on DMD 2.048: --- class A {} class B {} void main() { Object[] foo = [ new A, new B ]; } --- TDPL has: "The element type of the array is determined by agreement among all elements of the array, which is computed by means of the conditional operator ? : (anticipating § 2.3.16)."

*** This issue has been marked as a duplicate of issue 3543 ***