Using intersected types in $Diff throws error

[schneckentempo]

Flow version: v0.106.2 and older

Expected behavior

I would expect $Diff to work with multiple type intersections

Actual behavior

$Diff seems to only take one intersection (level) from the top of the tree into account and forgets following intersections

type A = { a: string }
type B = A & { b: string }
type C = B & { c?: string }

const test: $Diff<C, { b: string }> = { a: 'a', c: 'c' }

const c = test.c

is a minimal example which leads to the error

• Link to Try-Flow or Github repo:
  extended example with workarounds