Demonstration of bug where Flow can not decide which case to select when constant is defined in a different file

constant.js

// @flow
export const Foo:'foo' = 'foo';

object_literal_with_error.js

// @flow
import { Foo } from './constants';

type Action = { type: typeof Foo, config: { } } | { type: 'bar'};

/* expect error
object literal
Could not decide which case to select
union type
...
*/
const action: Action = { type: Foo, config: { } }

object_literal_without_error.js

// @flow

export const Foo:'foo' = 'foo';

type Action = { type: typeof Foo, config: { } } | { type: 'bar'};

/* works fine */
const action: Action = { type: Foo, config: { } }