=== tests/cases/compiler/genericTypeArgumentInference1.ts ===
module Underscore {
>Underscore : Symbol(Underscore, Decl(genericTypeArgumentInference1.ts, 0, 0))

    export interface Iterator<T, U> {
>Iterator : Symbol(Iterator, Decl(genericTypeArgumentInference1.ts, 0, 19))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 1, 30))
>U : Symbol(U, Decl(genericTypeArgumentInference1.ts, 1, 32))

        (value: T, index: any, list: any): U;
>value : Symbol(value, Decl(genericTypeArgumentInference1.ts, 2, 9))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 1, 30))
>index : Symbol(index, Decl(genericTypeArgumentInference1.ts, 2, 18))
>list : Symbol(list, Decl(genericTypeArgumentInference1.ts, 2, 30))
>U : Symbol(U, Decl(genericTypeArgumentInference1.ts, 1, 32))
    }
    export interface Static {
>Static : Symbol(Static, Decl(genericTypeArgumentInference1.ts, 3, 5))

        all<T>(list: T[], iterator?: Iterator<T, boolean>, context?: any): T;
>all : Symbol(Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 5, 12))
>list : Symbol(list, Decl(genericTypeArgumentInference1.ts, 5, 15))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 5, 12))
>iterator : Symbol(iterator, Decl(genericTypeArgumentInference1.ts, 5, 25))
>Iterator : Symbol(Iterator, Decl(genericTypeArgumentInference1.ts, 0, 19))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 5, 12))
>context : Symbol(context, Decl(genericTypeArgumentInference1.ts, 5, 58))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 5, 12))

        identity<T>(value: T): T;
>identity : Symbol(Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 6, 17))
>value : Symbol(value, Decl(genericTypeArgumentInference1.ts, 6, 20))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 6, 17))
>T : Symbol(T, Decl(genericTypeArgumentInference1.ts, 6, 17))
    }
}
declare var _: Underscore.Static;
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>Underscore : Symbol(Underscore, Decl(genericTypeArgumentInference1.ts, 0, 0))
>Static : Symbol(Underscore.Static, Decl(genericTypeArgumentInference1.ts, 3, 5))

var r = _.all([true, 1, null, 'yes'], _.identity);
>r : Symbol(r, Decl(genericTypeArgumentInference1.ts, 11, 3))
>_.all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_.identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))

var r2 = _.all([true], _.identity);
>r2 : Symbol(r2, Decl(genericTypeArgumentInference1.ts, 12, 3))
>_.all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_.identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))

var r3 = _.all([], _.identity);
>r3 : Symbol(r3, Decl(genericTypeArgumentInference1.ts, 13, 3))
>_.all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_.identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))

var r4 = _.all([<any>true], _.identity);
>r4 : Symbol(r4, Decl(genericTypeArgumentInference1.ts, 14, 3))
>_.all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>all : Symbol(Underscore.Static.all, Decl(genericTypeArgumentInference1.ts, 4, 29))
>_.identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))
>_ : Symbol(_, Decl(genericTypeArgumentInference1.ts, 9, 11))
>identity : Symbol(Underscore.Static.identity, Decl(genericTypeArgumentInference1.ts, 5, 77))

