Type checker complains incorrectly about bound variable in disjunction in reducer

[tvdstorm]

Give the following code:

void bug1() {
    list[int] xs = [];
    ( true | it && (false || y := z) | int y <- xs, int z <- xs );
}

The type checker complains about (false || y := z)
with the error message: "Variable(s) y should be introduced on both sides of || operator".

[DavyLandman]

@tvdstorm which version of the VS Code extension?

[PaulKlint]

Thanks for your report @tvdstorm. I agree that the type checker, incorrectly, flags y in (false || y := z) as a free variable. I will have a look into this.