teamdandelion · June 27, 2018 21:03
diff --git a/.flowconfig b/.flowconfig
 [ignore]

 [include]

 [libs]

 [lints]

 [options]

 [strict]
diff --git a/broken.js b/broken.js
 // @flow

 import * as D from "./dep"
 type Entry = D.FooEntry | D.BarEntry;

 function address<T: Entry>(e: T): $PropertyType<T, "address"> {
  return e.address;
 }

diff --git a/dep.js b/dep.js
 // @flow

 export type FooAddress = {|
  +foo: number;
 |};
 export type BarAddress = {|
  +bar: number;
 |};

 export type FooEntry = {|
  +address: FooAddress,
 |};

 export type BarEntry = {|
  +address: BarAddress,
 |};

diff --git a/package.json b/package.json
 {
  "name": "sadflow",
  "version": "1.0.0",
  "main": "index.js",
  "license": "MIT",
  "dependencies": {
    "flow-bin": "^0.75.0"
  }
 }
diff --git a/works.js b/works.js
 // @flow

 import type {FooEntry, BarEntry} from "./dep";
 type Entry = FooEntry | BarEntry;

 function address<T: Entry>(e: T): $PropertyType<T, "address"> {
  return e.address;
 }

diff --git a/yarn.lock b/yarn.lock
 # THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
 # yarn lockfile v1


 flow-bin@^0.75.0:
  version "0.75.0"
  resolved "https://registry.yarnpkg.com/flow-bin/-/flow-bin-0.75.0.tgz#b96d1ee99d3b446a3226be66b4013224ce9df260"
	// @flow

	import * as D from "./dep"
	type Entry = D.FooEntry \| D.BarEntry;

	function address<T: Entry>(e: T): $PropertyType<T, "address"> {
	return e.address;
	}
	// @flow

	import type {FooEntry, BarEntry} from "./dep";
	type Entry = FooEntry \| BarEntry;

	function address<T: Entry>(e: T): $PropertyType<T, "address"> {
	return e.address;
	}
	# THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
	# yarn lockfile v1


	flow-bin@^0.75.0:
	version "0.75.0"
	resolved "https://registry.yarnpkg.com/flow-bin/-/flow-bin-0.75.0.tgz#b96d1ee99d3b446a3226be66b4013224ce9df260"