Flow version: `v0.261.2` & TryFlow `master` ``` type Definitions = $ReadOnly<{ a: {type: 'a'}, b: {type: 'b'} }>; 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 `K` on `Definitions` because mixed [1] is incompatible with string [2]. [incompatible-type]` * [Link to Try-Flow](https://flow.org/try/#1N4Igxg9gdgZglgcxALlAIwIZoKYBsD6uEEAztvhgE6UYCe+JADpdhgCYowa5kA0I2KAFcAtiRQAXSkOz9sADwxgJ+NPTbYuQ3BMnTZA+Y2yU4IwRO4A6SFBIrGVDGM7c+h46fNRLuKxJIGWh8MeT0ZfhYlCStpHzNsFBAMIQkIEQwJODAQfiEyfBE4eWw2fDgofDBMsAALfAA3KjgsXGxxZC4eAw0G-GhcWn9aY3wWZldu-g1mbGqJUoBaCRHEzrcDEgBrbAk62kXhXFxJ923d-cPRHEpTgyEoMDaqZdW7vKgoOfaSKgOKpqmDA+d4gB5fMA-P6LCCMLLQbiLOoYCqgh6-GDYRYIXYLSgkRZkCR4jpddwPfJLZjpOBkO4AX34kA0SRWxgABAARTQVODwuzsgC87IAJAAlVhsADyUEGAB5gAAdKDs1XsgDa9lMUAQAF1kKKJewZfLgFZzfSAHy8ZVWgDcyuVbOw7IAshhGMY2ELDZKTbQFcq1RqANLsirsna0CAwLk8qB8uDQEj69mQESMaAWAAUQeDavNVm58AT-JI6pDurzqoAlDaoPbHVBciAGiYSEnm8hWwAGKwAJgAbABGAcgelAA)
Activity
MidActionJax commentedon Mar 5, 2025
let me see what i can do