fix(checker): narrow accessibility check for typeof parameters in type queries

Refined the accessibility check for parameter symbols to only apply when they are part of a TypeQuery. This prevents parameter identifiers used as computed property names in type printing from being incorrectly treated as accessible unique-symbol-like keys.

Author: umesh-more-cstk

src/compiler/checker.ts

@@ -6160,7 +6160,10 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         }
         // Parameters are always in scope within their enclosing function; `typeof paramName` in a
         // return type annotation is valid regardless of method visibility (public, protected, private).
-        if (symbol.declarations && every(symbol.declarations, isParameter)) {
+        // Narrow this exception to TypeQuery nodes only (e.g. `typeof param`) so that parameter
+        // identifiers used as computed property names in type printing are not incorrectly treated
+        // as accessible unique-symbol-like keys.
+        if (symbol.declarations && every(symbol.declarations, isParameter) && isPartOfTypeQuery(entityName)) {
             return { accessibility: SymbolAccessibility.Accessible };
         }
         // Verify if the symbol is accessible

tests/baselines/reference/declarationsWithRecursiveInternalTypesProduceUniqueTypeParams.types

@@ -104,8 +104,8 @@ export const updateIfChanged = <T>(t: T) => {
 >                                                                   : ^
 >update : (u: U) => T
 >       : ^ ^^ ^^^^^ 
->Object.assign(Array.isArray(u) ? [] : {}, u, { [key]: v }) : U & { [key]: Value<K, U>; }
->                                                           : ^^^^^^       ^^^^^^^^^^^ ^^
+>Object.assign(Array.isArray(u) ? [] : {}, u, { [key]: v }) : U & { [x: string]: Value<K, U>; }
+>                                                           : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >Object.assign : { <T_1 extends {}, U_1>(target: T_1, source: U_1): T_1 & U_1; <T_1 extends {}, U_1, V>(target: T_1, source1: U_1, source2: V): T_1 & U_1 & V; <T_1 extends {}, U_1, V, W>(target: T_1, source1: U_1, source2: V, source3: W): T_1 & U_1 & V & W; (target: object, ...sources: any[]): any; }
 >              : ^^^^^^^^^^^^^^^  ^^^^^^^      ^^   ^^      ^^   ^^^         ^^^^^^^^^^^^^^^  ^^^^^^^ ^^      ^^   ^^       ^^   ^^       ^^ ^^^             ^^^^^^^^^^^^^^^  ^^^^^^^ ^^ ^^      ^^   ^^       ^^   ^^       ^^ ^^       ^^ ^^^                 ^^^      ^^      ^^^^^       ^^     ^^^   ^^^
 >Object : ObjectConstructor
@@ -130,8 +130,8 @@ export const updateIfChanged = <T>(t: T) => {
 >   : ^^
 >u : U
 >  : ^
->{ [key]: v } : { [key]: Value<K, U>; }
->             : ^^       ^^^^^^^^^^^ ^^
+>{ [key]: v } : { [x: string]: Value<K, U>; }
+>             : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >[key] : Value<K, U>
 >      : ^^^^^^^^^^^
 >key : K