Accept new baselines

Author: ahejlsberg

tests/baselines/reference/ambientDeclarations.types

@@ -118,7 +118,7 @@ declare enum E3 {
 >E3 : E3
 
     A
->A : E3
+>A : E3.A
 }
 declare module E3 {
 >E3 : typeof E3

tests/baselines/reference/ambientEnum1.types

@@ -12,7 +12,7 @@
 >E2 : E2
 
         x = 'foo'.length
->x : E2
+>x : E2.x
 >'foo'.length : number
 >'foo' : "foo"
 >length : number

tests/baselines/reference/ambientErrors.types

@@ -55,7 +55,7 @@ declare enum E2 {
 >E2 : E2
 
     x = 'foo'.length
->x : E2
+>x : E2.x
 >'foo'.length : number
 >'foo' : "foo"
 >length : number

tests/baselines/reference/api/tsserverlibrary.d.ts

@@ -6659,7 +6659,8 @@ declare namespace ts {
         TemplateLiteral = 134217728,
         StringMapping = 268435456,
         Literal = 2944,
-        Unit = 109440,
+        Unit = 109472,
+        Freshable = 2976,
         StringOrNumberLiteral = 384,
         PossiblyFalsy = 117724,
         StringLike = 402653316,
@@ -6711,10 +6712,12 @@ declare namespace ts {
         isClass(): this is InterfaceType;
         isIndexType(): this is IndexType;
     }
-    interface LiteralType extends Type {
+    interface FreshableType extends Type {
+        freshType: FreshableType;
+        regularType: FreshableType;
+    }
+    interface LiteralType extends FreshableType {
         value: string | number | PseudoBigInt;
-        freshType: LiteralType;
-        regularType: LiteralType;
     }
     interface UniqueESSymbolType extends Type {
         symbol: Symbol;
@@ -6729,7 +6732,7 @@ declare namespace ts {
     interface BigIntLiteralType extends LiteralType {
         value: PseudoBigInt;
     }
-    interface EnumType extends Type {
+    interface EnumType extends FreshableType {
     }
     enum ObjectFlags {
         None = 0,

tests/baselines/reference/api/typescript.d.ts

@@ -2684,7 +2684,8 @@ declare namespace ts {
         TemplateLiteral = 134217728,
         StringMapping = 268435456,
         Literal = 2944,
-        Unit = 109440,
+        Unit = 109472,
+        Freshable = 2976,
         StringOrNumberLiteral = 384,
         PossiblyFalsy = 117724,
         StringLike = 402653316,
@@ -2736,10 +2737,12 @@ declare namespace ts {
         isClass(): this is InterfaceType;
         isIndexType(): this is IndexType;
     }
-    interface LiteralType extends Type {
+    interface FreshableType extends Type {
+        freshType: FreshableType;
+        regularType: FreshableType;
+    }
+    interface LiteralType extends FreshableType {
         value: string | number | PseudoBigInt;
-        freshType: LiteralType;
-        regularType: LiteralType;
     }
     interface UniqueESSymbolType extends Type {
         symbol: Symbol;
@@ -2754,7 +2757,7 @@ declare namespace ts {
     interface BigIntLiteralType extends LiteralType {
         value: PseudoBigInt;
     }
-    interface EnumType extends Type {
+    interface EnumType extends FreshableType {
     }
     enum ObjectFlags {
         None = 0,

tests/baselines/reference/declarationEmitForGlobalishSpecifierSymlink.types

@@ -6,7 +6,7 @@ export enum A {
 >A : A
 
     Val
->Val : A
+>Val : A.Val
 }
 === /p1/node_modules/typescript-fsa/index.d.ts ===
 
@@ -19,7 +19,7 @@ export enum A {
 >A : A
 
     Val
->Val : A
+>Val : A.Val
 }
 === /p2/node_modules/typescript-fsa/index.d.ts ===
 

tests/baselines/reference/declarationEmitForGlobalishSpecifierSymlink2.types

@@ -6,7 +6,7 @@ export enum A {
 >A : A
 
     Val
->Val : A
+>Val : A.Val
 }
 === /cache/typescript-fsa/index.d.ts ===
 

tests/baselines/reference/disallowLineTerminatorBeforeArrow.types

@@ -194,7 +194,7 @@ module m {
 >Enum : Enum
 
         claw = (()
->claw : Enum
+>claw : Enum.claw
 >(()            => 10)() : number
 >(()            => 10) : () => number
 >()            => 10 : () => number

tests/baselines/reference/enumBasics.types

@@ -140,7 +140,7 @@ enum E7 {
 >E7 : E7
 
     A = 'foo'['foo']
->A : E7
+>A : E7.A
 >'foo'['foo'] : error
 >'foo' : "foo"
 >'foo' : "foo"
@@ -151,7 +151,7 @@ enum E8 {
 >E8 : E8
 
     B = 'foo'['foo']
->B : E8
+>B : E8.B
 >'foo'['foo'] : error
 >'foo' : "foo"
 >'foo' : "foo"
@@ -172,8 +172,8 @@ enum E9 {
 // (refer to .js to validate)
 // Enum constant members are propagated
 var doNotPropagate = [
->doNotPropagate : (E8 | E7 | E4.Z | E3)[]
->[    E8.B, E7.A, E4.Z, E3.X, E3.Y, E3.Z] : (E8 | E7 | E4.Z | E3)[]
+>doNotPropagate : (E8 | E7 | E4 | E3)[]
+>[    E8.B, E7.A, E4.Z, E3.X, E3.Y, E3.Z] : (E8 | E7 | E4 | E3)[]
 
     E8.B, E7.A, E4.Z, E3.X, E3.Y, E3.Z
 >E8.B : E8

tests/baselines/reference/enumErrors.types

@@ -17,7 +17,7 @@ enum E5 {
 >E5 : E5
 
     C = new Number(30)
->C : E5
+>C : E5.C
 >new Number(30) : Number
 >Number : NumberConstructor
 >30 : 30

tests/baselines/reference/enumMerging.types

@@ -111,8 +111,8 @@ module M2 {
     }
 
     var x = [EComp2.A, EComp2.B, EComp2.C, EComp2.D, EComp2.E, EComp2.F];
->x : (EComp2.A | EComp2.B | EComp2.C | EComp2.D | EComp2.E | EComp2.F)[]
->[EComp2.A, EComp2.B, EComp2.C, EComp2.D, EComp2.E, EComp2.F] : (EComp2.A | EComp2.B | EComp2.C | EComp2.D | EComp2.E | EComp2.F)[]
+>x : EComp2[]
+>[EComp2.A, EComp2.B, EComp2.C, EComp2.D, EComp2.E, EComp2.F] : EComp2[]
 >EComp2.A : EComp2.A
 >EComp2 : typeof EComp2
 >A : EComp2.A

tests/baselines/reference/enumWithExport.types

@@ -10,6 +10,6 @@ enum x {
 >x : x
 
   z = y
->z : x
+>z : x.z
 >y : any
 }

tests/baselines/reference/methodContainingLocalFunction.types

@@ -105,7 +105,7 @@ enum E {
 >E : E
 
     A = (() => {
->A : E
+>A : E.A
 >(() => {        function localFunction() { }        var x: { (): void; };        x = localFunction;        return 0;    })() : number
 >(() => {        function localFunction() { }        var x: { (): void; };        x = localFunction;        return 0;    }) : () => number
 >() => {        function localFunction() { }        var x: { (): void; };        x = localFunction;        return 0;    } : () => number

tests/baselines/reference/moduleLocalImportNotIncorrectlyRedirected.types

@@ -15,5 +15,5 @@ export declare enum Position {
 >Position : Position
 
     top,
->top : Position
+>top : Position.top
 }

tests/baselines/reference/numericEnumMappedType.types

@@ -91,7 +91,7 @@ enum N2 { C = val(), D = val() }
 >val : () => number
 
 type T1 = { [K in N1 | N2]: K };
->T1 : { [x: number]: N1.A | N1.B | N2.C | N2.D; }
+>T1 : { [x: number]: N1 | N2; }
 
 // Enum types with string valued members are always literal enum types and therefore
 // ONE and TWO below are not computed members but rather just numerically valued members

tests/baselines/reference/this_inside-enum-should-not-be-allowed.types

@@ -3,7 +3,7 @@ enum TopLevelEnum {
 >TopLevelEnum : TopLevelEnum
 
     ThisWasAllowedButShouldNotBe = this // Should not be allowed
->ThisWasAllowedButShouldNotBe : TopLevelEnum
+>ThisWasAllowedButShouldNotBe : TopLevelEnum.ThisWasAllowedButShouldNotBe
 >this : any
 }
 
@@ -14,7 +14,7 @@ module ModuleEnum {
 >EnumInModule : EnumInModule
 
         WasADifferentError = this // this was handled as if this was in a module
->WasADifferentError : EnumInModule
+>WasADifferentError : EnumInModule.WasADifferentError
 >this : any
     }
 }