Disjoint unions not working with imported constants

[JavoByte]

Hi, I'm trying to use disjoint unions to check a redux reducer. I have a constants file where I export all my constants, like this:

export const USERS_LOAD = "USERS_LOAD";
export const USERS_LOADED = "USERS_LOADED";

The problem is, if I import this constants and define my type Action like this:

type Action =
  | { type: typeof USERS_LOADED, users: Array<{}>}
  | { type: typeof API_ERROR, error: ?any}
  | { type: typeof USERS_LOAD };

And use it un my code like this:

function users(state: State = {
  loading: false,
  all: [],
}, action: Action): State {
  switch (action.type) {
    case USERS_LOAD :
      return {
        ...state,
        loading: true,
      };
    case USERS_LOADED :
      return {
        loading: false,
        all: action.users.map(user => new User(user)),
        error: null,
      };
    default :
      return state;
  }
}

I get the error in USERS_LOADED case: Property not found in action

However, if I define the constants directly in the file instead of importing them, the error goes away and works like expected

[agentcooper]

typeof USERS_LOAD is string and not literal 'USERS_LOAD': example. See also: #2639.

[JavoByte]

You're right. I changed that because without typeof I get the error

Ineligible value used in/as type annotation (did you forget 'typeof'?)

So, the real question is? Can I use the disjoint types with constants like I said, or it must be using literals?

[0rvar]

#4175

[gkz]

Works now: https://flow.org/try/#1N4Igxg9gdgZglgcxALlAIwIZoKYBsD6uEEAztvhgE6UYCe+JADpdhgCYowa5kA0I2KAFcAtiRQAXSkOz9sADwxgJ+NPTbYuQ3BMnTZA+Y2yU4IwRO4A6SFBIrGVDGM7c+h46fNRLuKxJIGWh8MeT0ZfhYlCStpHzNsFBAMIQkIEQwJODAQfiEyfBE4eWw2fDgofDBMsAALfAA3KjgsXGxxZC4eAw0G-GhcWn9aY3wWZldu-g1mbGqJUoBaCRHEzrcDEgBrbAk62kXhXFxJ923d-cPRHEpTgyEoMDaqZdW7vKgoOfaSKgOKpqmDA+d4gB5fMA-P6LCCMLLQbiLOoYCqgh6-GDYRYIXYLSgkRZkCR4jpddwPfJLZjpOBkO4AX34kA0SQUjAglAkAAJbPYuQBVADKAFEAEqC-AAGQA8gBBAAiXIAvFyADogIViiUyhXqgDcqq+Rg53N53M14qlcvlwsVKvVFu11tt+sNK2MXNlyjg0GVhq5XIAPlzgFz3dhkGHVhAYAKRZadTb5bwuZT8ZHZdQ6AAeNDEZ5QAB89P9QZDUeMkfDMbjWqtCq59INUDdqy5gssC2VIaI7AqCEjeYgBZT3FwGaztFz+dYRZLsAe3t9aZIAAp7JkI+3O9hu8BS722P3I2TZKWx5GANoAXV4hsZXOiPqgGaXUAAlJGO5uQ6WSAB3OA9lqLlVyfaBhmMd9fygAMA2qMhawTa0uWQUs4MfN9HxIctw0jAByR163lfDGz1LkAHoKOlABpdC4JYCQhEoWD91gjC4KsLiNwWO92I4rlD2PMN9D4gSm3ohDdyIxNbVQ+iA3A2CMBw0M8K5Qj4ydBVbXwlMVwnGgpyHAti3IqiuVoyUFK5RjmNYmyAyEqABy5U8xIEx9jkjJSrBXDyMIk-iuQ0LQdHk4KAzsliuR47BmwDed6VyEAGhMEhnySBoAAYrAAJgANgAZisbKQHpIA