Files
test-repo/tests/flow/optional_props/test3_exact_annot.js
T
Simon Lydell dc93bdc983 Sync the Flow tests (#1163)
* Extract custom tests from tests/flow/

Approach:

1. Remove all .js files in tests/flow except .snap.js files.
2. Copy over all .js files from tests/ in the flow repo.
3. Go through the diff looking for deletions.
   - It was easy to see which deletions were due to changes in the tests
     due to updates in the flow repo.
   - For the rest of the deletions, I used `git blame` to verify that
     they had been added by us since the flow tests were copied over.

This makes tests/flow/ simply a copy of the tests from the flow repo,
making it easier to sync with the upstream flow tests in the future.

* Add a script for syncing the flow tests

* Sync the flow tests
2017-04-08 07:52:38 -07:00

8 lines
340 B
JavaScript

/* The logic that allows ({}: {p?:T}), described in test3.js, should _not_ also
fire for exact annotations. */
const a: {| a: number |} = { a: 1 };
const b: { a: number, b?: number } = a; // error: property `b` not found
b.b = 0; // because subsequent writes would widen the exact object
(a.b: number); // error: property `b` not found