diff --git a/tests/baselines/reference/exhaustiveSwitchStatements1.errors.txt b/tests/baselines/reference/exhaustiveSwitchStatements1.errors.txt
index e958397f81a50..a8e02b04aa8db 100644
--- a/tests/baselines/reference/exhaustiveSwitchStatements1.errors.txt
+++ b/tests/baselines/reference/exhaustiveSwitchStatements1.errors.txt
@@ -1,5 +1,5 @@
 tests/cases/conformance/controlFlow/exhaustiveSwitchStatements1.ts(7,9): error TS7027: Unreachable code detected.
-tests/cases/conformance/controlFlow/exhaustiveSwitchStatements1.ts(235,5): error TS2367: This condition will always return 'false' since the types '"a" | "b"' and '"c"' have no overlap.
+tests/cases/conformance/controlFlow/exhaustiveSwitchStatements1.ts(235,5): error TS2367: This condition will always return 'false' since the types 'keyof O' and '"c"' have no overlap.
 
 
 ==== tests/cases/conformance/controlFlow/exhaustiveSwitchStatements1.ts (2 errors) ====
@@ -241,7 +241,7 @@ tests/cases/conformance/controlFlow/exhaustiveSwitchStatements1.ts(235,5): error
         }
         k === 'c';  // Error
         ~~~~~~~~~
-!!! error TS2367: This condition will always return 'false' since the types '"a" | "b"' and '"c"' have no overlap.
+!!! error TS2367: This condition will always return 'false' since the types 'keyof O' and '"c"' have no overlap.
         return o[k];
     }
     
\ No newline at end of file
diff --git a/tests/baselines/reference/exhaustiveSwitchStatements1.types b/tests/baselines/reference/exhaustiveSwitchStatements1.types
index 79e4483212c6b..043bb099f0161 100644
--- a/tests/baselines/reference/exhaustiveSwitchStatements1.types
+++ b/tests/baselines/reference/exhaustiveSwitchStatements1.types
@@ -695,12 +695,12 @@ function ff(o: O, k: K) {
     }
     k === 'c';  // Error
 >k === 'c' : boolean
->k : "a" | "b"
+>k : keyof O
 >'c' : "c"
 
     return o[k];
 >o[k] : number
 >o : O
->k : "a" | "b"
+>k : keyof O
 }
 
diff --git a/tests/baselines/reference/jsxLibraryManagedAttributesUnusedGeneric.types b/tests/baselines/reference/jsxLibraryManagedAttributesUnusedGeneric.types
index f47bd7afddd62..46f0e28a4b31a 100644
--- a/tests/baselines/reference/jsxLibraryManagedAttributesUnusedGeneric.types
+++ b/tests/baselines/reference/jsxLibraryManagedAttributesUnusedGeneric.types
@@ -33,7 +33,7 @@ namespace jsx {
 >css : string
 
         export type LibraryManagedAttributes<C, P> = WithCSSProp<P>
->LibraryManagedAttributes : WithCSSProp<P>
+>LibraryManagedAttributes : LibraryManagedAttributes<C, P>
 
     }
 }
diff --git a/tests/baselines/reference/observableInferenceCanBeMade.types b/tests/baselines/reference/observableInferenceCanBeMade.types
index e2c0a68f81f32..6931e042adb5b 100644
--- a/tests/baselines/reference/observableInferenceCanBeMade.types
+++ b/tests/baselines/reference/observableInferenceCanBeMade.types
@@ -52,6 +52,6 @@ function asObservable(input: string | ObservableInput<string>): Observable<strin
 >input : string
 >from(input) : Observable<string>
 >from : <O extends ObservableInput<any>>(input: O) => Observable<ObservedValueOf<O>>
->input : Subscribable<never> | Subscribable<string>
+>input : ObservableInput<string>
 }
 
diff --git a/tests/baselines/reference/partiallyDiscriminantedUnions.types b/tests/baselines/reference/partiallyDiscriminantedUnions.types
index ecfbefb65bf72..f1d44249c0eb2 100644
--- a/tests/baselines/reference/partiallyDiscriminantedUnions.types
+++ b/tests/baselines/reference/partiallyDiscriminantedUnions.types
@@ -95,7 +95,7 @@ function fail(s: Shapes) {
         if (s.kind === "circle") {
 >s.kind === "circle" : boolean
 >s.kind : "square" | "circle"
->s : Square | Circle
+>s : Shape
 >kind : "square" | "circle"
 >"circle" : "circle"
 
diff --git a/tests/baselines/reference/spreadBooleanRespectsFreshness.types b/tests/baselines/reference/spreadBooleanRespectsFreshness.types
index 5263d6c3261a7..cd20dc31944b6 100644
--- a/tests/baselines/reference/spreadBooleanRespectsFreshness.types
+++ b/tests/baselines/reference/spreadBooleanRespectsFreshness.types
@@ -27,6 +27,6 @@ foo1 = [...Array.isArray(foo2) ? foo2 : [foo2]];
 >isArray : (arg: any) => arg is any[]
 >foo2 : Foo
 >foo2 : FooArray
->[foo2] : (string | false)[]
->foo2 : string | false
+>[foo2] : FooBase[]
+>foo2 : FooBase
 
diff --git a/tests/baselines/reference/stringLiteralCheckedInIf02.types b/tests/baselines/reference/stringLiteralCheckedInIf02.types
index f81c05f1c3a44..8056c2dd43a27 100644
--- a/tests/baselines/reference/stringLiteralCheckedInIf02.types
+++ b/tests/baselines/reference/stringLiteralCheckedInIf02.types
@@ -29,7 +29,7 @@ function f(foo: T) {
 >foo : T
 
         return foo;
->foo : "a" | "b"
+>foo : S
     }
     else { 
         return foo[0];