AbstractInterpreter handles logical operators incorrectly

[saelo]

The AbstractInterpreter currently assumes that the result of binary logical operators is a .boolean. While that probably seems intuitive, that's not how JavaScript works:

let a = 0 || "foobar";
print(a);     // "foobar"
let b = "" && 42;
print(b);     // ""

The correct semantics are explained for example here for || and here for &&, but in essence, the operators always yield the value of one of the two input expressions, so probably the resulting type should simply be the union of the two inputs.

[Dhananjayshukla1]

@saelo I want to work on this issue, can you assign this to me.

[saelo]

That's great, thanks! We usually don't assign issues, but happy to do so if you like!

[Dhananjayshukla1]

Sorry sir,
I forgot my github account so i was not able to reply your message and your valuable time.
let a = 0 || "foobar";
console.log(a); // "foobar"
let b = "" && 42;
console.log(b); // ""

[Dhananjayshukla1]

I'm new to open source contributions but I'm well versed with C++, HTML, CSS, Javascript, React, and Node.js.
could you please tell me how to get started.
thank you.