=== tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWithNoRelationshipObjectsOnInstantiatedCallSignature.ts ===
class Base {
>Base : Base

    public a: string;
>a : string
}

class Derived extends Base {
>Derived : Derived
>Base : Base

    public b: string;
>b : string
}

class C {
>C : C

    public c: string;
>c : string
}

var a1: { fn<T>(x: T): T };
>a1 : { fn<T>(x: T): T; }
>fn : <T>(x: T) => T
>x : T

var b1: { fn(): string };
>b1 : { fn(): string; }
>fn : () => string

var a2: { fn<T>(x: T): T };
>a2 : { fn<T>(x: T): T; }
>fn : <T>(x: T) => T
>x : T

var b2: { fn(x: string): number };
>b2 : { fn(x: string): number; }
>fn : (x: string) => number
>x : string

var a3: { fn<T>(x?: T): T };
>a3 : { fn<T>(x?: T): T; }
>fn : <T>(x?: T) => T
>x : T

var b3: { fn(x?: string): number };
>b3 : { fn(x?: string): number; }
>fn : (x?: string) => number
>x : string

var a4: { fn<T>(...x: T[]): T };
>a4 : { fn<T>(...x: T[]): T; }
>fn : <T>(...x: T[]) => T
>x : T[]

var b4: { fn(...x: string[]): number };
>b4 : { fn(...x: string[]): number; }
>fn : (...x: string[]) => number
>x : string[]

var a5: { fn<T>(x: T, y: T): T };
>a5 : { fn<T>(x: T, y: T): T; }
>fn : <T>(x: T, y: T) => T
>x : T
>y : T

var b5: { fn(x: string, y: number): string };
>b5 : { fn(x: string, y: number): string; }
>fn : (x: string, y: number) => string
>x : string
>y : number

var a6: { fn<T, U extends T>(x: T, y: U): T };
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>fn : <T, U extends T>(x: T, y: U) => T
>x : T
>y : U

var b6: { fn(x: Base, y: C): Base };
>b6 : { fn(x: Base, y: C): Base; }
>fn : (x: Base, y: C) => Base
>x : Base
>y : C

// operator <
var r1a1 = a1 < b1;
>r1a1 : boolean
>a1 < b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r1a2 = a2 < b2;
>r1a2 : boolean
>a2 < b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r1a3 = a3 < b3;
>r1a3 : boolean
>a3 < b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r1a4 = a4 < b4;
>r1a4 : boolean
>a4 < b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r1a5 = a5 < b5;
>r1a5 : boolean
>a5 < b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r1a6 = a6 < b6;
>r1a6 : boolean
>a6 < b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r1b1 = b1 < a1;
>r1b1 : boolean
>b1 < a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r1b2 = b2 < a2;
>r1b2 : boolean
>b2 < a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r1b3 = b3 < a3;
>r1b3 : boolean
>b3 < a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r1b4 = b4 < a4;
>r1b4 : boolean
>b4 < a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r1b5 = b5 < a5;
>r1b5 : boolean
>b5 < a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r1b6 = b6 < a6;
>r1b6 : boolean
>b6 < a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator >
var r2a1 = a1 > b1;
>r2a1 : boolean
>a1 > b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r2a2 = a2 > b2;
>r2a2 : boolean
>a2 > b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r2a3 = a3 > b3;
>r2a3 : boolean
>a3 > b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r2a4 = a4 > b4;
>r2a4 : boolean
>a4 > b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r2a5 = a5 > b5;
>r2a5 : boolean
>a5 > b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r2a6 = a6 > b6;
>r2a6 : boolean
>a6 > b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r2b1 = b1 > a1;
>r2b1 : boolean
>b1 > a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r2b2 = b2 > a2;
>r2b2 : boolean
>b2 > a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r2b3 = b3 > a3;
>r2b3 : boolean
>b3 > a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r2b4 = b4 > a4;
>r2b4 : boolean
>b4 > a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r2b5 = b5 > a5;
>r2b5 : boolean
>b5 > a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r2b6 = b6 > a6;
>r2b6 : boolean
>b6 > a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator <=
var r3a1 = a1 <= b1;
>r3a1 : boolean
>a1 <= b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r3a2 = a2 <= b2;
>r3a2 : boolean
>a2 <= b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r3a3 = a3 <= b3;
>r3a3 : boolean
>a3 <= b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r3a4 = a4 <= b4;
>r3a4 : boolean
>a4 <= b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r3a5 = a5 <= b5;
>r3a5 : boolean
>a5 <= b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r3a6 = a6 <= b6;
>r3a6 : boolean
>a6 <= b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r3b1 = b1 <= a1;
>r3b1 : boolean
>b1 <= a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r3b2 = b2 <= a2;
>r3b2 : boolean
>b2 <= a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r3b3 = b3 <= a3;
>r3b3 : boolean
>b3 <= a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r3b4 = b4 <= a4;
>r3b4 : boolean
>b4 <= a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r3b5 = b5 <= a5;
>r3b5 : boolean
>b5 <= a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r3b6 = b6 <= a6;
>r3b6 : boolean
>b6 <= a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator >=
var r4a1 = a1 >= b1;
>r4a1 : boolean
>a1 >= b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r4a2 = a2 >= b2;
>r4a2 : boolean
>a2 >= b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r4a3 = a3 >= b3;
>r4a3 : boolean
>a3 >= b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r4a4 = a4 >= b4;
>r4a4 : boolean
>a4 >= b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r4a5 = a5 >= b5;
>r4a5 : boolean
>a5 >= b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r4a6 = a6 >= b6;
>r4a6 : boolean
>a6 >= b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r4b1 = b1 >= a1;
>r4b1 : boolean
>b1 >= a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r4b2 = b2 >= a2;
>r4b2 : boolean
>b2 >= a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r4b3 = b3 >= a3;
>r4b3 : boolean
>b3 >= a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r4b4 = b4 >= a4;
>r4b4 : boolean
>b4 >= a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r4b5 = b5 >= a5;
>r4b5 : boolean
>b5 >= a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r4b6 = b6 >= a6;
>r4b6 : boolean
>b6 >= a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator ==
var r5a1 = a1 == b1;
>r5a1 : boolean
>a1 == b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r5a2 = a2 == b2;
>r5a2 : boolean
>a2 == b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r5a3 = a3 == b3;
>r5a3 : boolean
>a3 == b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r5a4 = a4 == b4;
>r5a4 : boolean
>a4 == b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r5a5 = a5 == b5;
>r5a5 : boolean
>a5 == b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r5a6 = a6 == b6;
>r5a6 : boolean
>a6 == b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r5b1 = b1 == a1;
>r5b1 : boolean
>b1 == a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r5b2 = b2 == a2;
>r5b2 : boolean
>b2 == a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r5b3 = b3 == a3;
>r5b3 : boolean
>b3 == a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r5b4 = b4 == a4;
>r5b4 : boolean
>b4 == a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r5b5 = b5 == a5;
>r5b5 : boolean
>b5 == a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r5b6 = b6 == a6;
>r5b6 : boolean
>b6 == a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator !=
var r6a1 = a1 != b1;
>r6a1 : boolean
>a1 != b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r6a2 = a2 != b2;
>r6a2 : boolean
>a2 != b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r6a3 = a3 != b3;
>r6a3 : boolean
>a3 != b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r6a4 = a4 != b4;
>r6a4 : boolean
>a4 != b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r6a5 = a5 != b5;
>r6a5 : boolean
>a5 != b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r6a6 = a6 != b6;
>r6a6 : boolean
>a6 != b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r6b1 = b1 != a1;
>r6b1 : boolean
>b1 != a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r6b2 = b2 != a2;
>r6b2 : boolean
>b2 != a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r6b3 = b3 != a3;
>r6b3 : boolean
>b3 != a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r6b4 = b4 != a4;
>r6b4 : boolean
>b4 != a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r6b5 = b5 != a5;
>r6b5 : boolean
>b5 != a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r6b6 = b6 != a6;
>r6b6 : boolean
>b6 != a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator ===
var r7a1 = a1 === b1;
>r7a1 : boolean
>a1 === b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r7a2 = a2 === b2;
>r7a2 : boolean
>a2 === b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r7a3 = a3 === b3;
>r7a3 : boolean
>a3 === b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r7a4 = a4 === b4;
>r7a4 : boolean
>a4 === b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r7a5 = a5 === b5;
>r7a5 : boolean
>a5 === b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r7a6 = a6 === b6;
>r7a6 : boolean
>a6 === b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r7b1 = b1 === a1;
>r7b1 : boolean
>b1 === a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r7b2 = b2 === a2;
>r7b2 : boolean
>b2 === a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r7b3 = b3 === a3;
>r7b3 : boolean
>b3 === a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r7b4 = b4 === a4;
>r7b4 : boolean
>b4 === a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r7b5 = b5 === a5;
>r7b5 : boolean
>b5 === a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r7b6 = b6 === a6;
>r7b6 : boolean
>b6 === a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

// operator !==
var r8a1 = a1 !== b1;
>r8a1 : boolean
>a1 !== b1 : boolean
>a1 : { fn<T>(x: T): T; }
>b1 : { fn(): string; }

var r8a2 = a2 !== b2;
>r8a2 : boolean
>a2 !== b2 : boolean
>a2 : { fn<T>(x: T): T; }
>b2 : { fn(x: string): number; }

var r8a3 = a3 !== b3;
>r8a3 : boolean
>a3 !== b3 : boolean
>a3 : { fn<T>(x?: T): T; }
>b3 : { fn(x?: string): number; }

var r8a4 = a4 !== b4;
>r8a4 : boolean
>a4 !== b4 : boolean
>a4 : { fn<T>(...x: T[]): T; }
>b4 : { fn(...x: string[]): number; }

var r8a5 = a5 !== b5;
>r8a5 : boolean
>a5 !== b5 : boolean
>a5 : { fn<T>(x: T, y: T): T; }
>b5 : { fn(x: string, y: number): string; }

var r8a6 = a6 !== b6;
>r8a6 : boolean
>a6 !== b6 : boolean
>a6 : { fn<T, U extends T>(x: T, y: U): T; }
>b6 : { fn(x: Base, y: C): Base; }

var r8b1 = b1 !== a1;
>r8b1 : boolean
>b1 !== a1 : boolean
>b1 : { fn(): string; }
>a1 : { fn<T>(x: T): T; }

var r8b2 = b2 !== a2;
>r8b2 : boolean
>b2 !== a2 : boolean
>b2 : { fn(x: string): number; }
>a2 : { fn<T>(x: T): T; }

var r8b3 = b3 !== a3;
>r8b3 : boolean
>b3 !== a3 : boolean
>b3 : { fn(x?: string): number; }
>a3 : { fn<T>(x?: T): T; }

var r8b4 = b4 !== a4;
>r8b4 : boolean
>b4 !== a4 : boolean
>b4 : { fn(...x: string[]): number; }
>a4 : { fn<T>(...x: T[]): T; }

var r8b5 = b5 !== a5;
>r8b5 : boolean
>b5 !== a5 : boolean
>b5 : { fn(x: string, y: number): string; }
>a5 : { fn<T>(x: T, y: T): T; }

var r8b6 = b6 !== a6;
>r8b6 : boolean
>b6 !== a6 : boolean
>b6 : { fn(x: Base, y: C): Base; }
>a6 : { fn<T, U extends T>(x: T, y: U): T; }

