tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts(62,36): error TS2345: Argument of type '0' is not assignable to parameter of type '""'.
tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts(63,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9a' must be of type 'string', but here has type '{}'.
tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts(76,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9e' must be of type '{ x: number; z: Date; y?: undefined; } | { x: number; y: string; z?: undefined; }', but here has type '{}'.


==== tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts (3 errors) ====
    // Generic tag with one parameter
    function noParams<T>(n: T) { }
    noParams ``;
    
    // Generic tag with parameter which does not use type parameter
    function noGenericParams<T>(n: TemplateStringsArray) { }
    noGenericParams ``;
    
    // Generic tag with multiple type parameters and only one used in parameter type annotation
    function someGenerics1a<T, U>(n: T, m: number) { }
    someGenerics1a `${3}`;
    
    function someGenerics1b<T, U>(n: TemplateStringsArray, m: U) { }
    someGenerics1b `${3}`;
    
    // Generic tag with argument of function type whose parameter is of type parameter type
    function someGenerics2a<T>(strs: TemplateStringsArray, n: (x: T) => void) { }
    someGenerics2a `${(n: string) => n}`;
    
    function someGenerics2b<T, U>(strs: TemplateStringsArray, n: (x: T, y: U) => void) { }
    someGenerics2b `${ (n: string, x: number) => n }`;
    
    // Generic tag with argument of function type whose parameter is not of type parameter type but body/return type uses type parameter
    function someGenerics3<T>(strs: TemplateStringsArray, producer: () => T) { }
    someGenerics3 `${() => ''}`;
    someGenerics3 `${() => undefined}`;
    someGenerics3 `${() => 3}`;
    
    // 2 parameter generic tag with argument 1 of type parameter type and argument 2 of function type whose parameter is of type parameter type
    function someGenerics4<T, U>(strs: TemplateStringsArray, n: T, f: (x: U) => void) { }
    someGenerics4 `${4}${ () => null }`;
    someGenerics4 `${''}${ () => 3 }`;
    someGenerics4 `${ null }${ null }`;
    
    // 2 parameter generic tag with argument 2 of type parameter type and argument 1 of function type whose parameter is of type parameter type
    function someGenerics5<U, T>(strs: TemplateStringsArray, n: T, f: (x: U) => void) { }
    someGenerics5 `${ 4 } ${ () => null }`;
    someGenerics5 `${ '' }${ () => 3 }`;
    someGenerics5 `${null}${null}`;
    
    // Generic tag with multiple arguments of function types that each have parameters of the same generic type
    function someGenerics6<A>(strs: TemplateStringsArray, a: (a: A) => A, b: (b: A) => A, c: (c: A) => A) { }
    someGenerics6 `${ n => n }${ n => n}${ n => n}`;
    someGenerics6 `${ n => n }${ n => n}${ n => n}`;
    someGenerics6 `${ (n: number) => n }${ (n: number) => n }${ (n: number) => n }`;
    
    // Generic tag with multiple arguments of function types that each have parameters of different generic type
    function someGenerics7<A, B, C>(strs: TemplateStringsArray, a: (a: A) => A, b: (b: B) => B, c: (c: C) => C) { }
    someGenerics7 `${ n => n }${ n => n }${ n => n }`;
    someGenerics7 `${ n => n }${ n => n }${ n => n }`;
    someGenerics7 `${(n: number) => n}${ (n: string) => n}${ (n: number) => n}`;
    
    // Generic tag with argument of generic function type
    function someGenerics8<T>(strs: TemplateStringsArray, n: T): T { return n; }
    var x = someGenerics8 `${ someGenerics7 }`;
    x `${null}${null}${null}`;
    
    // Generic tag with multiple parameters of generic type passed arguments with no best common type
    function someGenerics9<T>(strs: TemplateStringsArray, a: T, b: T, c: T): T {
        return null;
    }
    var a9a = someGenerics9 `${ '' }${ 0 }${ [] }`;
                                       ~
!!! error TS2345: Argument of type '0' is not assignable to parameter of type '""'.
    var a9a: {};
        ~~~
!!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9a' must be of type 'string', but here has type '{}'.
!!! related TS6203 tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts:62:5: 'a9a' was also declared here.
    
    // Generic tag with multiple parameters of generic type passed arguments with multiple best common types
    interface A91 {
        x: number;
        y?: string;
    }
    interface A92 {
        x: number;
        z?: Date;
    }
    
    var a9e = someGenerics9 `${ undefined }${ { x: 6, z: new Date() } }${ { x: 6, y: '' } }`;
    var a9e: {};
        ~~~
!!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9e' must be of type '{ x: number; z: Date; y?: undefined; } | { x: number; y: string; z?: undefined; }', but here has type '{}'.
!!! related TS6203 tests/cases/conformance/es6/templates/taggedTemplateStringsTypeArgumentInferenceES6.ts:75:5: 'a9e' was also declared here.
    
    // Generic tag with multiple parameters of generic type passed arguments with a single best common type
    var a9d = someGenerics9 `${ { x: 3 }}${ { x: 6 }}${ { x: 6 } }`;
    var a9d: { x: number; };
    
    // Generic tag with multiple parameters of generic type where one argument is of type 'any'
    var anyVar: any;
    var a = someGenerics9 `${ 7 }${ anyVar }${ 4 }`;
    var a: any;
    
    // Generic tag with multiple parameters of generic type where one argument is [] and the other is not 'any'
    var arr = someGenerics9 `${ [] }${ null }${ undefined }`;
    var arr: any[];
    
    