Intersection type incompatible with equivalent type

[srajko]

In this example:

type A = { type: 'a', a: string }
type B = { type: 'b', b: string }
type C = { type: 'a' } & ( A | B )

const a : A = { type: 'a', a: 'a' }
const c : C = { type: 'a', a: 'a' }

const a1 : A = c // (c) intersection. This type is incompatible with (A) object type
const c1 : C = a // fine

I believe C and A should be equivalent (though I might be missing something), but flow is showing an error when assigning a value of type C to a variable of type A.

Would it be possible for flow deduce that A and C are equivalent in this case (if they are)?

[mjomble]

Possibly an even simpler example of the same issue:

type U = { a: number } | { b: number }
type I = U & { c: number }
const x: I = { a: 1, c: 2 }
const y: I = x

Here it's not even complaining about an equivalent type, but literally the exact same type.
Removing the second part from either the union or the intersection makes the error go away.

REPL version