=== tests/cases/compiler/recursiveTypeComparison2.ts ===
// Before fix this would cause compiler to hang (#1170)

declare module Bacon {
>Bacon : Symbol(Bacon, Decl(recursiveTypeComparison2.ts, 0, 0))

    interface Event<T> {
>Event : Symbol(Event, Decl(recursiveTypeComparison2.ts, 2, 22))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 3, 20))
    }
    interface Error<T> extends Event<T> {
>Error : Symbol(Error, Decl(recursiveTypeComparison2.ts, 4, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 5, 20))
>Event : Symbol(Event, Decl(recursiveTypeComparison2.ts, 2, 22))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 5, 20))
    }
    interface Observable<T> {
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        zip<U, V>(other: EventStream<U>, f: (a: T, b: U) => V): EventStream<V>;
>zip : Symbol(Observable.zip, Decl(recursiveTypeComparison2.ts, 7, 29))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 8, 12))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 8, 14))
>other : Symbol(other, Decl(recursiveTypeComparison2.ts, 8, 18))
>EventStream : Symbol(EventStream, Decl(recursiveTypeComparison2.ts, 21, 5))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 8, 12))
>f : Symbol(f, Decl(recursiveTypeComparison2.ts, 8, 40))
>a : Symbol(a, Decl(recursiveTypeComparison2.ts, 8, 45))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
>b : Symbol(b, Decl(recursiveTypeComparison2.ts, 8, 50))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 8, 12))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 8, 14))
>EventStream : Symbol(EventStream, Decl(recursiveTypeComparison2.ts, 21, 5))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 8, 14))

        slidingWindow(max: number, min?: number): Property<T[]>;
>slidingWindow : Symbol(Observable.slidingWindow, Decl(recursiveTypeComparison2.ts, 8, 79))
>max : Symbol(max, Decl(recursiveTypeComparison2.ts, 9, 22))
>min : Symbol(min, Decl(recursiveTypeComparison2.ts, 9, 34))
>Property : Symbol(Property, Decl(recursiveTypeComparison2.ts, 19, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        log(): Observable<T>;
>log : Symbol(Observable.log, Decl(recursiveTypeComparison2.ts, 9, 64))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        combine<U, V>(other: Observable<U>, f: (a: T, b: U) => V): Property<V>;
>combine : Symbol(Observable.combine, Decl(recursiveTypeComparison2.ts, 10, 29))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 11, 16))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 11, 18))
>other : Symbol(other, Decl(recursiveTypeComparison2.ts, 11, 22))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 11, 16))
>f : Symbol(f, Decl(recursiveTypeComparison2.ts, 11, 43))
>a : Symbol(a, Decl(recursiveTypeComparison2.ts, 11, 48))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
>b : Symbol(b, Decl(recursiveTypeComparison2.ts, 11, 53))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 11, 16))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 11, 18))
>Property : Symbol(Property, Decl(recursiveTypeComparison2.ts, 19, 5))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 11, 18))

        withStateMachine<U, V>(initState: U, f: (state: U, event: Event<T>) => StateValue<U, V>): EventStream<V>;
>withStateMachine : Symbol(Observable.withStateMachine, Decl(recursiveTypeComparison2.ts, 11, 79))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 12, 25))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 12, 27))
>initState : Symbol(initState, Decl(recursiveTypeComparison2.ts, 12, 31))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 12, 25))
>f : Symbol(f, Decl(recursiveTypeComparison2.ts, 12, 44))
>state : Symbol(state, Decl(recursiveTypeComparison2.ts, 12, 49))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 12, 25))
>event : Symbol(event, Decl(recursiveTypeComparison2.ts, 12, 58))
>Event : Symbol(Event, Decl(recursiveTypeComparison2.ts, 2, 22))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
>StateValue : Symbol(StateValue)
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 12, 25))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 12, 27))
>EventStream : Symbol(EventStream, Decl(recursiveTypeComparison2.ts, 21, 5))
>V : Symbol(V, Decl(recursiveTypeComparison2.ts, 12, 27))

        decode(mapping: Object): Property<any>;
>decode : Symbol(Observable.decode, Decl(recursiveTypeComparison2.ts, 12, 113))
>mapping : Symbol(mapping, Decl(recursiveTypeComparison2.ts, 13, 15))
>Object : Symbol(Object, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>Property : Symbol(Property, Decl(recursiveTypeComparison2.ts, 19, 5))

        awaiting<U>(other: Observable<U>): Property<boolean>;
>awaiting : Symbol(Observable.awaiting, Decl(recursiveTypeComparison2.ts, 13, 47))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 14, 17))
>other : Symbol(other, Decl(recursiveTypeComparison2.ts, 14, 20))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>U : Symbol(U, Decl(recursiveTypeComparison2.ts, 14, 17))
>Property : Symbol(Property, Decl(recursiveTypeComparison2.ts, 19, 5))

        endOnError(f?: (value: T) => boolean): Observable<T>;
>endOnError : Symbol(Observable.endOnError, Decl(recursiveTypeComparison2.ts, 14, 61))
>f : Symbol(f, Decl(recursiveTypeComparison2.ts, 15, 19))
>value : Symbol(value, Decl(recursiveTypeComparison2.ts, 15, 24))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        withHandler(f: (event: Event<T>) => any): Observable<T>;
>withHandler : Symbol(Observable.withHandler, Decl(recursiveTypeComparison2.ts, 15, 61))
>f : Symbol(f, Decl(recursiveTypeComparison2.ts, 16, 20))
>event : Symbol(event, Decl(recursiveTypeComparison2.ts, 16, 24))
>Event : Symbol(Event, Decl(recursiveTypeComparison2.ts, 2, 22))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        name(name: string): Observable<T>;
>name : Symbol(Observable.name, Decl(recursiveTypeComparison2.ts, 16, 64))
>name : Symbol(name, Decl(recursiveTypeComparison2.ts, 17, 13))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))

        withDescription(...args: any[]): Observable<T>;
>withDescription : Symbol(Observable.withDescription, Decl(recursiveTypeComparison2.ts, 17, 42))
>args : Symbol(args, Decl(recursiveTypeComparison2.ts, 18, 24))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 7, 25))
    }
    interface Property<T> extends Observable<T> {
>Property : Symbol(Property, Decl(recursiveTypeComparison2.ts, 19, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 20, 23))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 20, 23))
    }
    interface EventStream<T> extends Observable<T> {
>EventStream : Symbol(EventStream, Decl(recursiveTypeComparison2.ts, 21, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 22, 26))
>Observable : Symbol(Observable, Decl(recursiveTypeComparison2.ts, 6, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 22, 26))
    }
    interface Bus<T> extends EventStream<T> {
>Bus : Symbol(Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 24, 18))
>EventStream : Symbol(EventStream, Decl(recursiveTypeComparison2.ts, 21, 5))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 24, 18))
    }
    var Bus: new <T>() => Bus<T>;
>Bus : Symbol(Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 26, 18))
>Bus : Symbol(Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))
>T : Symbol(T, Decl(recursiveTypeComparison2.ts, 26, 18))
}

var stuck: Bacon.Bus<number> = new Bacon.Bus();
>stuck : Symbol(stuck, Decl(recursiveTypeComparison2.ts, 29, 3))
>Bacon : Symbol(Bacon, Decl(recursiveTypeComparison2.ts, 0, 0))
>Bus : Symbol(Bacon.Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))
>Bacon.Bus : Symbol(Bacon.Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))
>Bacon : Symbol(Bacon, Decl(recursiveTypeComparison2.ts, 0, 0))
>Bus : Symbol(Bacon.Bus, Decl(recursiveTypeComparison2.ts, 23, 5), Decl(recursiveTypeComparison2.ts, 26, 7))