Change test to use type variables

ahejlsberg · ahejlsberg · commit 5b1554f708c7 · 2018-03-25T15:30:46.000-07:00
diff --git a/tests/cases/conformance/types/conditional/conditionalTypes2.ts b/tests/cases/conformance/types/conditional/conditionalTypes2.ts
@@ -13,21 +13,17 @@ interface Invariant<T> {
     foo: T extends string ? keyof T : T;
 }
 
-interface A { a: string }
-interface B extends A { b: string }
-
-
-function f1(a: Covariant<A>, b: Covariant<B>) {
+function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>) {
     a = b;
     b = a;  // Error
 }
 
-function f2(a: Contravariant<A>, b: Contravariant<B>) {
+function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>) {
     a = b;  // Error
     b = a;
 }
 
-function f3(a: Invariant<A>, b: Invariant<B>) {
+function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>) {
     a = b;  // Error
     b = a;  // Error
 }

Original file line number	Diff line number	Diff line change
`@@ -13,21 +13,17 @@ interface Invariant<T> {`
`13`	`13`	`foo: T extends string ? keyof T : T;`
`14`	`14`	`}`
`15`	`15`
`16`		`-interface A { a: string }`
`17`		`-interface B extends A { b: string }`
`18`		`-`
`19`		`-`
`20`		`-function f1(a: Covariant<A>, b: Covariant<B>) {`
	`16`	`+function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>) {`
`21`	`17`	`a = b;`
`22`	`18`	`b = a; // Error`
`23`	`19`	`}`
`24`	`20`
`25`		`-function f2(a: Contravariant<A>, b: Contravariant<B>) {`
	`21`	`+function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>) {`
`26`	`22`	`a = b; // Error`
`27`	`23`	`b = a;`
`28`	`24`	`}`
`29`	`25`
`30`		`-function f3(a: Invariant<A>, b: Invariant<B>) {`
	`26`	`+function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>) {`
`31`	`27`	`a = b; // Error`
`32`	`28`	`b = a; // Error`
`33`	`29`	`}`