Type inference error with Tuples and float/ints

[bengolds]

If you destructure a number from a tuple, the type-inference seems to not be able to treat it as both a float and an int.

module Main exposing (foo)

foo asInt =
    let
        myGoodNumber =
            216

        ( myBadNumber, _ ) =
            ( 216, 0 )
    in

    if asInt then
        String.fromInt myGoodNumber
            ++ String.fromInt myBadNumber

    else
        String.fromFloat myGoodNumber
            ++ String.fromFloat myBadNumber

Expected Behavior

elm make doesn't compile with any errors here.

Current Behavior

elm-language-server throws an error:

Context

It seems that Elm does some type-punning for constant numbers, and lets them be both Floats and Ints. The type inference code here seems to mostly do the same thing, except when destructuring those numbers. Perhaps this breaks for record and opaque type destructuring as well?

[razzeee]

FYI @jmbockhorst