Add test

Author: ahejlsberg

tests/baselines/reference/independentPropertyVariance.js

@@ -0,0 +1,13 @@
+//// [independentPropertyVariance.ts]
+// Verify that properties can vary idependently in comparable relationship
+
+declare const x: { a: 1, b: string };
+declare const y: { a: number, b: 'a' };
+
+x === y;
+
+
+//// [independentPropertyVariance.js]
+"use strict";
+// Verify that properties can vary idependently in comparable relationship
+x === y;

tests/baselines/reference/independentPropertyVariance.symbols

@@ -0,0 +1,17 @@
+=== tests/cases/conformance/types/typeRelationships/comparable/independentPropertyVariance.ts ===
+// Verify that properties can vary idependently in comparable relationship
+
+declare const x: { a: 1, b: string };
+>x : Symbol(x, Decl(independentPropertyVariance.ts, 2, 13))
+>a : Symbol(a, Decl(independentPropertyVariance.ts, 2, 18))
+>b : Symbol(b, Decl(independentPropertyVariance.ts, 2, 24))
+
+declare const y: { a: number, b: 'a' };
+>y : Symbol(y, Decl(independentPropertyVariance.ts, 3, 13))
+>a : Symbol(a, Decl(independentPropertyVariance.ts, 3, 18))
+>b : Symbol(b, Decl(independentPropertyVariance.ts, 3, 29))
+
+x === y;
+>x : Symbol(x, Decl(independentPropertyVariance.ts, 2, 13))
+>y : Symbol(y, Decl(independentPropertyVariance.ts, 3, 13))
+

tests/baselines/reference/independentPropertyVariance.types

@@ -0,0 +1,18 @@
+=== tests/cases/conformance/types/typeRelationships/comparable/independentPropertyVariance.ts ===
+// Verify that properties can vary idependently in comparable relationship
+
+declare const x: { a: 1, b: string };
+>x : { a: 1; b: string; }
+>a : 1
+>b : string
+
+declare const y: { a: number, b: 'a' };
+>y : { a: number; b: "a"; }
+>a : number
+>b : "a"
+
+x === y;
+>x === y : boolean
+>x : { a: 1; b: string; }
+>y : { a: number; b: "a"; }
+

tests/cases/conformance/types/typeRelationships/comparable/independentPropertyVariance.ts

@@ -0,0 +1,8 @@
+// @strict: true
+
+// Verify that properties can vary idependently in comparable relationship
+
+declare const x: { a: 1, b: string };
+declare const y: { a: number, b: 'a' };
+
+x === y;