Only report unmeasurable when both covariant and contravariant comparisons are unknown

Author: andrewbranch

src/compiler/checker.ts

@@ -19763,7 +19763,7 @@ namespace ts {
                     const covariant = isTypeRelatedToWorker(typeWithSub, typeWithSuper, assignableRelation);
                     const contravariant = isTypeRelatedToWorker(typeWithSuper, typeWithSub, assignableRelation);
                     let variance = 0;
-                    if (covariant === Ternary.Unknown || contravariant === Ternary.Unknown) {
+                    if (covariant === Ternary.Unknown && contravariant === Ternary.Unknown) {
                         unmeasurable = true;
                     }
                     else {

tests/baselines/reference/checkOrderDependenceGenericAssignability.errors.txt

@@ -1,6 +1,7 @@
 tests/cases/compiler/checkOrderDependenceGenericAssignability.ts(46,7): error TS2322: Type 'Parent<unknown>' is not assignable to type 'Parent<string>'.
-  The types of 'child.a' are incompatible between these types.
-    Type 'unknown' is not assignable to type 'string'.
+  Types of property 'child' are incompatible.
+    Type 'Child<unknown, unknown>' is not assignable to type 'Child<string, unknown>'.
+      Type 'unknown' is not assignable to type 'string'.
 
 
 ==== tests/cases/compiler/checkOrderDependenceGenericAssignability.ts (1 errors) ====
@@ -52,6 +53,7 @@ tests/cases/compiler/checkOrderDependenceGenericAssignability.ts(46,7): error TS
     const notString: Parent<string> = pu;
           ~~~~~~~~~
 !!! error TS2322: Type 'Parent<unknown>' is not assignable to type 'Parent<string>'.
-!!! error TS2322:   The types of 'child.a' are incompatible between these types.
-!!! error TS2322:     Type 'unknown' is not assignable to type 'string'.
+!!! error TS2322:   Types of property 'child' are incompatible.
+!!! error TS2322:     Type 'Child<unknown, unknown>' is not assignable to type 'Child<string, unknown>'.
+!!! error TS2322:       Type 'unknown' is not assignable to type 'string'.