@@ -4500,25 +4500,17 @@ Cannot create exact type from enum `E` [1]. [invalid-exact]
 ^^^^^^^^ [1]
 
 
-Error ------------------------------------------------------------------------------------------- utility-types.js:31:18
-
-Cannot instantiate `$Rest` because enum `E` [1] is not an object. [not-an-object]
-
-31| trigger as $Rest<typeof E, {A: E}>; // Error: enum `E` is not an object
-^^^^^^^^ [1]
-
-
-Error ------------------------------------------------------------------------------------------- utility-types.js:34:25
+Error ------------------------------------------------------------------------------------------- utility-types.js:31:25
 
 Cannot instantiate mapped type [1] because enum `E` [2] is not an object. [not-an-object]
 
-utility-types.js:34:25
-34| trigger as {[K in keyof typeof E]: E[K]}; // Error: enum `E` is not an object
+utility-types.js:31:25
+31| trigger as {[K in keyof typeof E]: E[K]}; // Error: enum `E` is not an object
 ^^^^^^^^ [2]
 
 References:
-utility-types.js:34:12
-34| trigger as {[K in keyof typeof E]: E[K]}; // Error: enum `E` is not an object
+utility-types.js:31:12
+31| trigger as {[K in keyof typeof E]: E[K]}; // Error: enum `E` is not an object
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [1]
 
 
@@ -4574,7 +4566,7 @@ References:
 
 
 
-Found 270 errors
+Found 269 errors
 
 Only showing the most relevant union/intersection branches.
 To see all branches, re-run Flow with --show-all-branches

@@ -27,8 +27,5 @@ trigger as $Values<typeof E>; // Error
 // $Exact
 E as $Exact<typeof E>; // Error: TODO: improve error
 
-// $Rest
-trigger as $Rest<typeof E, {A: E}>; // Error: enum `E` is not an object
-
 // mapped type
 trigger as {[K in keyof typeof E]: E[K]}; // Error: enum `E` is not an object

@@ -375,10 +375,6 @@ utilities.js:29:8
 Flags:
 utilities.js:1:20,1:22
 
-utilities.js:35:8
-Flags:
-utilities.js:1:20,1:22
-
 parse_error_component.js:3:29
 Flags:
 parse_error_component.js:3:26,3:28

@@ -12,12 +12,6 @@ type SourceObj = { foo: string, bar: number };
 // ^
 }
 
-{
-declare const obj: $Rest<SourceObj, {bar: number}>;
-obj.foo;
-// ^
-}
-
 {
 declare const obj: {[K in keyof SourceObj]: string};
 obj.foo;

@@ -258,55 +258,47 @@ utilities.js:25:10
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:31:10
+utilities.js:36:10
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:42:10
+utilities.js:43:10
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:49:10
+utilities.js:50:10
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:56:10
+utilities.js:57:10
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:63:10
+utilities.js:64:10
 Flags:
-utilities.js:3:20,3:22
-
-utilities.js:70:10
-Flags:
-utilities.js:3:20,3:22
-
-utilities.js:77:10
-Flags:
-utilities.js:75:21,75:23
+utilities.js:62:21,62:23
 
-utilities.js:79:19
+utilities.js:66:19
 Flags:
 utilities.js:3:33,3:35
 
-utilities.js:87:10
+utilities.js:74:10
 Flags:
-utilities.js:85:14,85:16
+utilities.js:72:14,72:16
 
-utilities.js:95:10
+utilities.js:82:10
 Flags:
-utilities.js:94:43,94:54
+utilities.js:81:43,81:54
 
-utilities.js:103:10
+utilities.js:90:10
 Flags:
-utilities.js:102:43,102:54
+utilities.js:89:43,89:54
 
-utilities.js:111:12
+utilities.js:98:12
 Flags:
 utilities.js:3:20,3:22
 
-utilities.js:113:21
+utilities.js:100:21
 Flags:
 utilities.js:3:33,3:35
 

@@ -20,12 +20,6 @@ f = () => {
 // ^
 }
 
-f = () => {
-declare const Comp: React.ComponentType<$Rest<SourceObj, {bar: number}>>;
-<Comp foo={''} />;
-// ^
-}
-
 f = () => {
 declare const Comp: React.ComponentType<{+[key in keyof SourceObj]: SourceObj[key]}>;
 <Comp foo={''} bar={3} />;
@@ -57,13 +51,6 @@ f = () => {
 // ^
 }
 
-f = () => {
-type MapType<T> = $Rest<T, {bar: number}>;
-declare const Comp: React.ComponentType<MapType<SourceObj>>;
-<Comp foo={''} />;
-// ^
-}
-
 f = () => {
 type MapType<T> = {+[key in keyof T]: SourceObj[key]};
 declare const Comp: React.ComponentType<MapType<SourceObj>>;

@@ -129,13 +129,6 @@ p2_22 as {|f: string, g: string|}; // error incompatible exact
 p3_22 as {|f: string, g: string|};
 p4_22 as {|f: string, g: string|};
 
-import {d_ as d23, r1_ as r1_23, r2_ as r2_23, r3_ as r3_23} from './eval_rest';
-
-d23 as empty; // error string ~> empty
-r1_23 as empty; // error string ~> empty
-r2_23 as empty; // error string and undefined ~> empty
-r3_23 as empty; // error string and undefined ~> empty
-
 import type {T as T24} from './keys';
 declare var t24: T24;
 t24 as empty; // error number (length) ~> empty