diff --git a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.js b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.js
index 0e8877479c9..bd10676fab0 100644
--- a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.js
+++ b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.js
@@ -3,7 +3,14 @@ class A {
   private a: number;
 }
 
-type B<T extends A> = T["a"];
+class B {
+  private a: string;
+}
+
+type X<T extends A> = T["a"];
+type Y<T extends A | B> = T["a"];
+type Z<T extends A & B> = T["a"];
+
 
 
 //// [indexedAccessPrivateMemberOfGenericConstraint.js]
@@ -12,3 +19,8 @@ var A = /** @class */ (function () {
     }
     return A;
 }());
+var B = /** @class */ (function () {
+    function B() {
+    }
+    return B;
+}());
diff --git a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.symbols b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.symbols
index a6877397582..9a57021cff4 100644
--- a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.symbols
+++ b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.symbols
@@ -6,9 +6,31 @@ class A {
 >a : Symbol(A.a, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 0, 9))
 }
 
-type B<T extends A> = T["a"];
+class B {
 >B : Symbol(B, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 2, 1))
->T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 4, 7))
->A : Symbol(A, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 0, 0))
->T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 4, 7))
+
+  private a: string;
+>a : Symbol(B.a, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 4, 9))
+}
+
+type X<T extends A> = T["a"];
+>X : Symbol(X, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 6, 1))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 8, 7))
+>A : Symbol(A, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 0, 0))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 8, 7))
+
+type Y<T extends A | B> = T["a"];
+>Y : Symbol(Y, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 8, 29))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 9, 7))
+>A : Symbol(A, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 0, 0))
+>B : Symbol(B, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 2, 1))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 9, 7))
+
+type Z<T extends A & B> = T["a"];
+>Z : Symbol(Z, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 9, 33))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 10, 7))
+>A : Symbol(A, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 0, 0))
+>B : Symbol(B, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 2, 1))
+>T : Symbol(T, Decl(indexedAccessPrivateMemberOfGenericConstraint.ts, 10, 7))
+
 
diff --git a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.types b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.types
index 3f59d719143..3e1e6684993 100644
--- a/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.types
+++ b/tests/baselines/reference/indexedAccessPrivateMemberOfGenericConstraint.types
@@ -6,6 +6,20 @@ class A {
 >a : number
 }
 
-type B<T extends A> = T["a"];
->B : T["a"]
+class B {
+>B : B
+
+  private a: string;
+>a : string
+}
+
+type X<T extends A> = T["a"];
+>X : T["a"]
+
+type Y<T extends A | B> = T["a"];
+>Y : T["a"]
+
+type Z<T extends A & B> = T["a"];
+>Z : T["a"]
+
 
diff --git a/tests/cases/compiler/indexedAccessPrivateMemberOfGenericConstraint.ts b/tests/cases/compiler/indexedAccessPrivateMemberOfGenericConstraint.ts
index a2f2bb8c47b..77823cccef1 100644
--- a/tests/cases/compiler/indexedAccessPrivateMemberOfGenericConstraint.ts
+++ b/tests/cases/compiler/indexedAccessPrivateMemberOfGenericConstraint.ts
@@ -2,4 +2,11 @@ class A {
   private a: number;
 }
 
-type B<T extends A> = T["a"];
+class B {
+  private a: string;
+}
+
+type X<T extends A> = T["a"];
+type Y<T extends A | B> = T["a"];
+type Z<T extends A & B> = T["a"];
+