diff --git a/tests/baselines/reference/circularIndexedAccessErrors.types b/tests/baselines/reference/circularIndexedAccessErrors.types
index 6b2cf2c51be..aeaa460ab4a 100644
--- a/tests/baselines/reference/circularIndexedAccessErrors.types
+++ b/tests/baselines/reference/circularIndexedAccessErrors.types
@@ -86,7 +86,7 @@ interface Foo {
 }
 
 function foo<T extends Foo | T["hello"]>() {
->foo : <T extends Foo | T["hello"]>() => void
+>foo : <T>() => void
 >T : T
 >Foo : Foo
 >T : T
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
index a388d2b536b..bf636eaae80 100644
--- a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
+++ b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
@@ -1,7 +1,7 @@
 === tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts ===
 // #17847
 function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
->sum : <T extends { [x: string]: number; }, K extends keyof T>(n: number, v: T, k: K) => void
+>sum : <T, K extends keyof T>(n: number, v: T, k: K) => void
 >T : T
 >P : P
 >T : T
diff --git a/tests/baselines/reference/typeParameterDirectlyConstrainedToItself.types b/tests/baselines/reference/typeParameterDirectlyConstrainedToItself.types
index 0ef49d9767a..5efa4b5d19b 100644
--- a/tests/baselines/reference/typeParameterDirectlyConstrainedToItself.types
+++ b/tests/baselines/reference/typeParameterDirectlyConstrainedToItself.types
@@ -24,18 +24,18 @@ interface I2<T, U extends U> { }
 >U : U
 
 function f<T extends T>() { }
->f : <T extends T>() => void
+>f : <T>() => void
 >T : T
 >T : T
 
 function f2<T, U extends U>() { }
->f2 : <T, U extends U>() => void
+>f2 : <T, U>() => void
 >T : T
 >U : U
 >U : U
 
 var a: {
->a : { <T extends T>(): void; <T, U extends U>(): void; }
+>a : { <T>(): void; <T, U>(): void; }
 
     <T extends T>(): void;
 >T : T
@@ -48,14 +48,14 @@ var a: {
 }
 
 var b = <T extends T>() => { }
->b : <T extends T>() => void
-><T extends T>() => { } : <T extends T>() => void
+>b : <T>() => void
+><T extends T>() => { } : <T>() => void
 >T : T
 >T : T
 
 var b2 = <T, U extends U>() => { }
->b2 : <T, U extends U>() => void
-><T, U extends U>() => { } : <T, U extends U>() => void
+>b2 : <T, U>() => void
+><T, U extends U>() => { } : <T, U>() => void
 >T : T
 >U : U
 >U : U
diff --git a/tests/baselines/reference/typeParameterHasSelfAsConstraint.types b/tests/baselines/reference/typeParameterHasSelfAsConstraint.types
index 2d489515faf..9d297dc9934 100644
--- a/tests/baselines/reference/typeParameterHasSelfAsConstraint.types
+++ b/tests/baselines/reference/typeParameterHasSelfAsConstraint.types
@@ -1,6 +1,6 @@
 === tests/cases/compiler/typeParameterHasSelfAsConstraint.ts ===
 function foo<T extends T>(x: T): number {
->foo : <T extends T>(x: T) => number
+>foo : <T>(x: T) => number
 >T : T
 >T : T
 >x : T
diff --git a/tests/baselines/reference/typeParameterIndirectlyConstrainedToItself.types b/tests/baselines/reference/typeParameterIndirectlyConstrainedToItself.types
index ef5773a81a9..e5266083db2 100644
--- a/tests/baselines/reference/typeParameterIndirectlyConstrainedToItself.types
+++ b/tests/baselines/reference/typeParameterIndirectlyConstrainedToItself.types
@@ -32,14 +32,14 @@ interface I2<T extends U, U extends V, V extends T> { }
 >T : T
 
 function f<U extends T, T extends U>() { }
->f : <U extends T, T extends U>() => void
+>f : <U, T>() => void
 >U : U
 >T : T
 >T : T
 >U : U
 
 function f2<T extends U, U extends V, V extends T>() { }
->f2 : <T extends U, U extends V, V extends T>() => void
+>f2 : <T, U, V>() => void
 >T : T
 >U : U
 >U : U
@@ -48,7 +48,7 @@ function f2<T extends U, U extends V, V extends T>() { }
 >T : T
 
 var a: {
->a : { <U extends T, T extends U>(): void; <T extends U, U extends V, V extends T>(): void; }
+>a : { <U, T>(): void; <T, U, V>(): void; }
 
     <U extends T, T extends U>(): void;
 >U : U
@@ -66,16 +66,16 @@ var a: {
 }
 
 var b = <U extends T, T extends U>() => { }
->b : <U extends T, T extends U>() => void
-><U extends T, T extends U>() => { } : <U extends T, T extends U>() => void
+>b : <U, T>() => void
+><U extends T, T extends U>() => { } : <U, T>() => void
 >U : U
 >T : T
 >T : T
 >U : U
 
 var b2 = <T extends U, U extends V, V extends T>() => { }
->b2 : <T extends U, U extends V, V extends T>() => void
-><T extends U, U extends V, V extends T>() => { } : <T extends U, U extends V, V extends T>() => void
+>b2 : <T, U, V>() => void
+><T extends U, U extends V, V extends T>() => { } : <T, U, V>() => void
 >T : T
 >U : U
 >U : U