Intersection type incompatible with equivalent type

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)?