Implicit yield and if-then when using records with similarly-named fields causes type inference error

[cmeeren]

Consider this:

type A = { X: int }
type B = { X: int }

let _x: (A -> int) list = [
    fun a -> a.X
    if true then fun a -> a.X
]

This fails with a type inference error:

Adding yield works:

let _x: (A -> int) list = [
    yield fun a -> a.X
    if true then yield fun a -> a.X
]

As does type annotations to both a parameters:

let _x: (A -> int) list = [
    fun (a: A) -> a.X
    if true then fun (a: A) -> a.X
]

As does removing the if:

let _x: (A -> int) list = [
    fun a -> a.X
    fun a -> a.X
]

As a developer with no knowledge of the compiler, I can't see a compelling reason why I get the error. I would expect it to work.

[abonie]

I am starting to look into this, it still repros. Simpler example:

type A = { X: int }
type B = { X: int }

let l: A list = [
    if true then { X = 1 }
]