Interface properties generates incompatible TypeScript interfaces

[leononame]

Description

I've stumbled across this when implementing an indexed property through an interface. When adding properties to F# interfaces that have getters that require a value, the generated TypeScript interfaces have a different type signature than the classes implementing those

Repro code

See in the REPL: https://fable.io/repl/#?code=C4TwDgpgBAkgShAhgEwPIDsA2IbuRAD0QCNMIAeAcgGsIQAaKSgN0UwFdoB3ACwnSa0QALigQAjuzYBLUAD4oAXgBQUNVBIBnYACdEAY2CxgEALaiadKAFoFLNpyhdZPKAHMIwZctCQoAEXZTUxw8QhIyKiFGew5uPgFLETFJGXklVXVpdBMdADMDaHgkNCxQ-CJSCiSY1jiFZ2AeTPV1UzNiCB0oJulNADoYE1MW1rHG1w8jISUoAulMCagAIkRNZDzl718ihBQAdR1ZCFwKiOropjrHXn5BOlEJKUxZEAUVVq1dAyMhswsZrYrg5uC53J5GJpPNtwNBAsFyuEqnB9lE6LUQU4Evdkk80m8Mq1srkCvpdiVDsdTkjIjVgfUnC5Rq12qZOt1egM-iMxrzGU1wdMrIo5ogFktVutNsy+Yg8FAoUKQFBrtARQAKACUyiAA&html=Q&css=Q

Or see this code snippet:

type IReadOnlyIndexable<'key, 'value when 'key: equality> =
    abstract Item: 'key -> 'value with get

type DummyIndexable<'key, 'value when 'key: equality> =
    interface IReadOnlyIndexable<'key, 'value> with
        member this.Item
            with get key = failwith "asdf"

type IReadWriteIndexable<'key, 'value when 'key: equality> =
    abstract Item: 'key -> 'value with get, set

type DummyIndexableRW<'key, 'value when 'key: equality> =
    interface IReadWriteIndexable<'key, 'value> with
        member this.Item
            with get key = failwith "asdf"
            and set key value = ()

Expected and actual results

The generated TypeScript code looks like this:

import { class_type, TypeInfo } from "fable-library-js/Reflection.js";

export interface IReadOnlyIndexable$2<key, value> {
    Item(arg0: key): value
}

export class DummyIndexable$2<key, value> implements IReadOnlyIndexable$2<key, value> {
    constructor() {
    }
    get_Item(key: key): value {
        throw new Error("asdf");
    }
}

export function DummyIndexable$2_$reflection(gen0: TypeInfo, gen1: TypeInfo): TypeInfo {
    return class_type("Test.DummyIndexable`2", [gen0, gen1], DummyIndexable$2);
}

export interface IReadWriteIndexable$2<key, value> {
    Item(arg0: key): value,
    Item(arg0: key, arg1: value): void
}

export class DummyIndexableRW$2<key, value> implements IReadWriteIndexable$2<key, value> {
    constructor() {
    }
    get_Item(key: key): value {
        throw new Error("asdf");
    }
    set_Item(key: key, value: value): void {
    }
}

export function DummyIndexableRW$2_$reflection(gen0: TypeInfo, gen1: TypeInfo): TypeInfo {
    return class_type("Test.DummyIndexableRW`2", [gen0, gen1], DummyIndexableRW$2);
}

However, the interface has the property as Item, whereas the implementing classes have get_Item and set_Item.

[ncave]

Fixed by #3831