[VM] Equality/inequality operators do not produce a constant expression if both arguments do not have the same type

[DartBot]

This issue was originally filed by [email protected]

---

Spec ch. 10.1:
An expression of one of the forms e1 == e2, e1 != e2, e1 === e2 or
e1! == e2 ,where e1 and e2 are constant expressions that evaluate to a
numeric, string or boolean value.

Doesn't say both expressions have to be the same type, but the following tests fail on VM:

initializer must be a compile time constant
final x3 = true != 1;
           ^
initializer must be a compile time constant
final x4 = "a" === false;
           ^

[anders-sandholm]

Added Area-VM, Triaged labels.

[ghost]

Set owner to @mhausner.

[iposva-google]

Added Accepted label.

[floitschG]

Issue #1794 has been merged into this issue.

[DartBot]

This comment was originally written by @mhausner

---

Fixed at 6059.

---

Added Fixed label.