fix: handle missing valueDeclaration as non-uniform case

Author: mdm317

src/compiler/checker.ts

@@ -15547,7 +15547,10 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         let firstValueDeclaration: Declaration | undefined;
         let hasNonUniformValueDeclaration = false;
         for (const prop of props) {
-            if (!firstValueDeclaration) {
+            if(!prop.valueDeclaration){
+                hasNonUniformValueDeclaration = true;
+            }
+            else if (!firstValueDeclaration) {
                 firstValueDeclaration = prop.valueDeclaration;
             }
             else if (prop.valueDeclaration && prop.valueDeclaration !== firstValueDeclaration) {

tests/baselines/reference/intersectionWithConflictingPrivates2.js

@@ -0,0 +1,10 @@
+//// [tests/cases/compiler/intersectionWithConflictingPrivates2.ts] ////
+
+//// [intersectionWithConflictingPrivates2.ts]
+declare class A {
+  private a: number;
+
+}
+type B = Pick<{ a: number }, 'a'> & A;
+
+//// [intersectionWithConflictingPrivates2.js]

tests/baselines/reference/intersectionWithConflictingPrivates2.symbols

@@ -0,0 +1,16 @@
+//// [tests/cases/compiler/intersectionWithConflictingPrivates2.ts] ////
+
+=== intersectionWithConflictingPrivates2.ts ===
+declare class A {
+>A : Symbol(A, Decl(intersectionWithConflictingPrivates2.ts, 0, 0))
+
+  private a: number;
+>a : Symbol(A.a, Decl(intersectionWithConflictingPrivates2.ts, 0, 17))
+
+}
+type B = Pick<{ a: number }, 'a'> & A;
+>B : Symbol(B, Decl(intersectionWithConflictingPrivates2.ts, 3, 1))
+>Pick : Symbol(Pick, Decl(lib.es5.d.ts, --, --))
+>a : Symbol(a, Decl(intersectionWithConflictingPrivates2.ts, 4, 15))
+>A : Symbol(A, Decl(intersectionWithConflictingPrivates2.ts, 0, 0))
+

tests/baselines/reference/intersectionWithConflictingPrivates2.types

@@ -0,0 +1,18 @@
+//// [tests/cases/compiler/intersectionWithConflictingPrivates2.ts] ////
+
+=== intersectionWithConflictingPrivates2.ts ===
+declare class A {
+>A : A
+>  : ^
+
+  private a: number;
+>a : number
+>  : ^^^^^^
+
+}
+type B = Pick<{ a: number }, 'a'> & A;
+>B : never
+>  : ^^^^^
+>a : number
+>  : ^^^^^^
+

tests/cases/compiler/intersectionWithConflictingPrivates2.ts

@@ -0,0 +1,5 @@
+declare class A {
+  private a: number;
+
+}
+type B = Pick<{ a: number }, 'a'> & A;