Under-constrained mapped type key

[hurrymaplelad]

Flow version: v0.261.2 & TryFlow master

type Definitions = $ReadOnly<{
    [string]: $ReadOnly<{...}>,
}>;

type Mapped = $ReadOnly<{
    [K in keyof Definitions]: component(
        ...Definitions[K] // Boom! Flow doesn't like this lookup
    ),
}>;

Expected behavior

Type mapping works

Actual behavior

Cannot access KonDefinitions because mixed [1] is incompatible with string [2]. [incompatible-type]

• Link to Try-Flow