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

まず、提示された Playground の再現例を、記載された TypeScript バージョンで実行し、16 行目の診断を確認してください。次に、コンパイラー内のジェネリックなインデックス付き代入を追跡し、その例が報告されたエラーなしでコンパイルされるようにカバレッジを追加してください。issue ではソースファイルもテストも指定されていません。