Undefined or unsolved type variable

[NinoFloris]

Running on 5.0 preview 8, probably fixed by #9633

type DuCaseName<'T> =
    static member ToCaseName<'t, 'u>(value: 't) =
        failwith "just here to provide delayed resolution"
    static member ToCaseName(value: 'T) =
        match FSharp.Reflection.FSharpValue.GetUnionFields(value, typeof<'T>) with
        | case, _ -> case.Name

    static member inline Invoke(value: 'a) =
        let inline call (other: ^M, value: ^I) = ((^M or ^I) : (static member ToCaseName: ^I -> string) value)
        call (Unchecked.defaultof<DuCaseName<'T>>, value)

error FS0073: internal error: Undefined or unsolved type variable: '_?2272016

https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AbEAzAzgHwBcBPABxgAIARAVwGEBDXGAOQYFsYAeAcgBUAfBQC8AWABQFKRVyEGhAJZgKndsBhQKfCI2ZtOvQmgo8aAgBQA3BhhowQJwgEoRE6e4rYGCjAHcFhAAWFABEAFY0shSBGpSEEBSkUBCWCgAmlBkYDMQwaRSwuBC2ihAAdiFu0rLySiowahpaOkysHDBWNnYO/C5ikh5S7PJgwQBiAMqBDFCkAHQASjDYGDBgpWVzk9OzAGpdMHMA4jCEAKplCuVjCjAYabidtjDGJOQQ2LyCLv5BVYP4ChgVrGAD6FDgQmBzDm+hgEn+MjkimUqnUmgUZQwmMoAEkypYIABrDrWZ49Bh9RHuVaECiY7FlSjAjAYCjmCBBDQOAB6AFljGTuhQebi+uzzPyKNARWKKA5zDUUfVGpptLo2pxebiIUJZFBMQBzFxCmBOanSFls8wXUZrElpOYZLw0DDxT60DVwr4CASCg5OIA

    static member ToCaseName<'t, 'u>(value: 't) =
        failwith "just here to provide delayed resolution"

The phantom 'u seems to be the culprit in this instance.

[dsyme]

Could you try with feature/ext?