Update test

Author: ahejlsberg

tests/baselines/reference/recursiveConditionalTypes.errors.txt

@@ -146,7 +146,7 @@ tests/cases/compiler/recursiveConditionalTypes.ts(169,5): error TS2322: Type 'nu
 
     declare let z: Box2<Box2<string>>;
 
-    foo(z);  // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+    foo(z);  // string
 
     // Intersect tuple element types
 

tests/baselines/reference/recursiveConditionalTypes.js

@@ -92,7 +92,7 @@ declare function foo<T>(x: Box1<Box1<T>>): T;
 
 declare let z: Box2<Box2<string>>;
 
-foo(z);  // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+foo(z);  // string
 
 // Intersect tuple element types
 
@@ -192,7 +192,7 @@ unbox(b3); // InfBox<string>
 unbox({ value: { value: { value: { value: { value: { value: 5 } } } } } }); // number
 unbox(b4); // { value: { value: typeof b4 }}
 unbox({ value: { value: { get value() { return this; } } } }); // { readonly value: ... }
-foo(z); // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+foo(z); // string
 function f20(x, y) {
     x = y;
     y = x;

tests/baselines/reference/recursiveConditionalTypes.symbols

@@ -362,7 +362,7 @@ declare let z: Box2<Box2<string>>;
 >Box2 : Symbol(Box2, Decl(recursiveConditionalTypes.ts, 86, 28))
 >Box2 : Symbol(Box2, Decl(recursiveConditionalTypes.ts, 86, 28))
 
-foo(z);  // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+foo(z);  // string
 >foo : Symbol(foo, Decl(recursiveConditionalTypes.ts, 87, 28))
 >z : Symbol(z, Decl(recursiveConditionalTypes.ts, 91, 11))
 

tests/baselines/reference/recursiveConditionalTypes.types

@@ -248,7 +248,7 @@ declare function foo<T>(x: Box1<Box1<T>>): T;
 declare let z: Box2<Box2<string>>;
 >z : Box2<Box2<string>>
 
-foo(z);  // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+foo(z);  // string
 >foo(z) : string
 >foo : <T>(x: Box1<Box1<T>>) => T
 >z : Box2<Box2<string>>

tests/cases/compiler/recursiveConditionalTypes.ts

@@ -95,7 +95,7 @@ declare function foo<T>(x: Box1<Box1<T>>): T;
 
 declare let z: Box2<Box2<string>>;
 
-foo(z);  // unknown, but ideally would be string (requires unique recursion ID for each type reference)
+foo(z);  // string
 
 // Intersect tuple element types