String union types in props inside generic types

TypeScript Version: 3.9.2 & 4.0.0-beta

Code

type A = {
    foo: number
}

type B<T extends string> = {
    [key in T]?: number
}

type C<T extends string> = A & B<T>

const f = <T extends string>(prop: T, value: number): C<T> => {
    const c: C<T> = {
        foo: 6
    }

    c[prop] = value

    return c
}

type Props = 'bar' | 'baz'

const o = f<Props>('bar', 6)

Expected behavior:
It should work :)

Actual behavior:
line 16: Type 'number' is not assignable to type 'C[T]'.

Playground Link: click

Bắt đầu bằng cách chạy bản tái hiện được cung cấp trong Playground với các phiên bản TypeScript được liệt kê và xác nhận chẩn đoán ở dòng 16. Truy vết phép gán được lập chỉ mục tổng quát trong trình biên dịch, sau đó bổ sung độ bao phủ để ví dụ biên dịch mà không gặp lỗi được báo cáo; issue không nêu tên tệp nguồn hay test nào.