/**
 * @format
 * @flow
 */

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

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

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