Unexpected return type during build for tuple of enum value

[m4tiz5zktonj]

Since 2.0.115 during build:

import Toybox.Lang;

enum Enum {
    VALUE_1 = 0,
    VALUE_2 = false,
}

(:keep)
function test() as [Number] {
    // Expected $.test to return [Number] but got [False or Number<0> as Enum]
    // Expected $.test to return [Number] but got [Boolean or Number]
    return [VALUE_1];
}

[markw65]

Apart from getting two warnings, rather than just one, I think this is fairly reasonable.

The type of [42] is tuple with values of type Number, not tuple with values of type 42. So the type of [VALUE_1] should be tuple with values of type Enum - ie the legal values are VALUE_1 and VALUE_2.

On the other hand, it really does only contain a Number. I think maybe I'm relaxing the type of the tuple too soon (at creation), rather than when checking the type. Doing that means the code to relax the type of the tuple gets spread around a lot more places (so more opportunities for errors). But I'll take a look.