HRT encoding doesn't work with multiple generic restrictions

[Lanayx]

I'm trying to use special encoding that was recommended by @dsyme in fsharp/fslang-suggestions#567 (comment) together with generic types that have multiple restrictions and fail to do this

Sharplab link

Provide the steps required to reproduce the problem:

Code that works fine:

open System

type I1 = 
    abstract member i1 : int -> int
    
type I2 = 
    abstract member i2 : float -> float
    
//https://github.com/fsharp/fslang-suggestions/issues/567
type HRTEncoding = 
    abstract member Eval<'T> : unit -> 'T

type Cache<'T> (getGenericValue: HRTEncoding -> 'T) =
    member this.GetValue(env: HRTEncoding) =
        getGenericValue env

let x = {
    new HRTEncoding with 
        member this.Eval () = "test" |> box |> unbox
}

let test (env: 'T when 'T :> I1) =
    env.i1(DateTime.Now.Day)

let y = Cache(fun env ->
    let evaled = env.Eval()
    test evaled)
    
let z = y.GetValue(x)

Change when 'T :> I1 to when 'T :> I1 and 'T :> I2

Expected behavior

It works, just one more generic restriction is added

Actual behavior

error FS0331: The implicit instantiation of a generic construct at or near this point could not be resolved because it could resolve to multiple unrelated types, e.g. 'I2' and 'I1'. Consider using type annotations to resolve the ambiguity
error FS0071: Type constraint mismatch when applying the default type 'I1' for a type inference variable. The type 'I1' is not compatible with the type 'I2' Consider adding further type constraints

Known workarounds

Not use this approach

Related information

Provide any related information (optional):

• .NET 6.0.202
• Fsharp 6.0.4

[Lanayx]

Closing as not a bug :) Managed to solve the issue

[Lanayx]

Update: I didn't manage to solve the issue :) However I'm still unsure if it is a bug or by design