Possible inconsistency in array literals implicit cast

[dlangBugzillaToGithub]

bearophile_hugs reported this on 2014-02-06T16:08:47Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=12091

Description

I am not sure, but perhaps this shows an inconsistency worth fixing:


long[] foo() {
    return [1];         // OK
}
void main() {
    long[] a;
    auto b1 = a ~ 0;   // OK
    auto b2 = a ~ [0]; // Error
    auto c1 = 0 ~ a;   // OK
    auto c2 = [0] ~ a; // Error
}


dmd 2.065beta2 gives:

test.d(7): Error: incompatible types for ((a) ~ ([0])): 'long[]' and 'int[]'
test.d(9): Error: incompatible types for (([0]) ~ (a)): 'int[]' and 'long[]'