restInvalidArgumentType.ts(30,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(31,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(37,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(40,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(42,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(43,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(45,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(46,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(50,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(51,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(53,13): error TS2700: Rest types may only be created from object types.
restInvalidArgumentType.ts(53,20): error TS2454: Variable 'e' is used before being assigned.


==== restInvalidArgumentType.ts (12 errors) ====
    enum E { v1, v2 };
    
    function f<T extends { b: string }>(p1: T, p2: T[]) {
        var t!: T;
    
        var i!: T["b"];
        var k!: keyof T;
    
        var mapped_generic!: {[P in keyof T]: T[P]};
        var mapped!: {[P in "b"]: T[P]};
    
        var union_generic!: T | { a: number };
        var union_primitive!: { a: number } | number;
        var intersection_generic!: T & { a: number };
        var intersection_primitive!: { a: number } & string;
        var num!: number;
        var str!: string;
        var literal_string: "string" = "string";
        var literal_number: 42 = 42;
        var e: E;
    
        var u: undefined = undefined;
        var n: null = null;
    
        var a: any = 0;
    
        var {...r1} = p1;   // Error, generic type paramterre
        var {...r2} = p2;   // OK
        var {...r3} = t;   // Error, generic type paramter
        var {...r4} = i;   // Error, index access
                ~~
!!! error TS2700: Rest types may only be created from object types.
        var {...r5} = k;   // Error, index
                ~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r6} = mapped_generic; // Error, generic mapped object type
        var {...r7} = mapped;  // OK, non-generic mapped type
    
        var {...r8} = union_generic;  // Error, union with generic type parameter
        var {...r9} = union_primitive;  // Error, union with generic type parameter
                ~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r10} = intersection_generic;  // Error, intersection with generic type parameter
        var {...r11} = intersection_primitive;  // Error, intersection with generic type parameter
                ~~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r12} = num;  // Error
                ~~~
!!! error TS2700: Rest types may only be created from object types.
        var {...r13} = str;  // Error
                ~~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r14} = u;  // error, undefined-only not allowed
                ~~~
!!! error TS2700: Rest types may only be created from object types.
        var {...r15} = n;  // error, null-only not allowed
                ~~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r16} = a;  // OK
    
        var {...r17} = literal_string;  // Error
                ~~~
!!! error TS2700: Rest types may only be created from object types.
        var {...r18} = literal_number;  // Error
                ~~~
!!! error TS2700: Rest types may only be created from object types.
    
        var {...r19} = e;  // Error, enum
                ~~~
!!! error TS2700: Rest types may only be created from object types.
                       ~
!!! error TS2454: Variable 'e' is used before being assigned.
    }
    