/**
 * @format
 * @flow
 */

1 as empty; // Error: number ~> empty
2 as empty; // Error: number ~> empty
3 as empty; // Error: number ~> empty
4 as empty; // Error: number ~> empty
5 as empty; // Error: number ~> empty
6 as empty; // Error: number ~> empty
7 as empty; // Error: number ~> empty
8 as empty; // Error: number ~> empty
9 as empty; // Error: number ~> empty
10 as empty; // Error: number ~> empty
11 as empty; // Error: number ~> empty
12 as empty; // Error: number ~> empty
13 as empty; // Error: number ~> empty
14 as empty; // Error: number ~> empty
15 as empty; // Error: number ~> empty
16 as empty; // Error: number ~> empty
17 as empty; // Error: number ~> empty
18 as empty; // Error: number ~> empty
19 as empty; // Error: number ~> empty
20 as empty; // Error: number ~> empty
21 as empty; // Error: number ~> empty
22 as empty; // Error: number ~> empty
23 as empty; // Error: number ~> empty
24 as empty; // Error: number ~> empty
25 as empty; // Error: number ~> empty
26 as empty; // Error: number ~> empty
27 as empty; // Error: number ~> empty
28 as empty; // Error: number ~> empty
29 as empty; // Error: number ~> empty
30 as empty; // Error: number ~> empty
31 as empty; // Error: number ~> empty
32 as empty; // Error: number ~> empty
33 as empty; // Error: number ~> empty
34 as empty; // Error: number ~> empty
35 as empty; // Error: number ~> empty
36 as empty; // Error: number ~> empty
37 as empty; // Error: number ~> empty
38 as empty; // Error: number ~> empty
39 as empty; // Error: number ~> empty
40 as empty; // Error: number ~> empty
41 as empty; // Error: number ~> empty
42 as empty; // Error: number ~> empty
43 as empty; // Error: number ~> empty
44 as empty; // Error: number ~> empty
45 as empty; // Error: number ~> empty
46 as empty; // Error: number ~> empty
47 as empty; // Error: number ~> empty
48 as empty; // Error: number ~> empty
49 as empty; // Error: number ~> empty

({
  a: 1, // Error: number ~> empty
  b: 2, // Error: number ~> empty
  c: 3, // Error: number ~> empty
}) as {
  a: empty,
  b: empty,
  c: empty,
};

({
  a: 1, // Error: number ~> empty
  b: 2, // Error: number ~> empty
  c: 3, // Error: number ~> empty
}) as {
  a: empty,
  b: empty,
  c: empty,
};
