No error on self-referencing type parameter of non-generic mapped type

🔎 Search Terms

mapped type circular self reference type parameter

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=6.0.0-dev.20250801#code/C4TwDgpgBAKhDOwoF4oGsIgPYDMoG8AoKKAbQAUoBLAO3U1ynIF0AuKAVxrRqwHcahAL4BuQoQAmEAMYAbAIYAnaNKw1EUYAmDs4iMYQgAPMFkVIcXacCpqoAcwjA9wABQBKAsSjLgHRXRa+sKEQA

💻 Code

type Test = keyof {
  [P in keyof P]: unknown
};

declare const test: Test;

export function getTest() {
  return test;
}

🙁 Actual behavior

[P in keyof P] doesn't error anyhow but it's clearly circular. Furthermore, the generated .d.ts here is:

export declare function getTest(): keyof P;

P leaked here and this is invalid

🙂 Expected behavior

I'd expect this to produce a circularity error and at the very least the generated declaration file should not contain a leaked type variable

Additional information about the issue

cc @jfet97 who originally mentioned part of this to me in a DM 😉

Comienza con la reproducción vinculada de TypeScript Playground y verifica tanto la ausencia del diagnóstico de circularidad como el P filtrado en la declaración generada. Traza cómo el compilador gestiona [P in keyof P] y la salida de la declaración para este caso. Se considera terminado cuando se informa de la referencia circular y la declaración emitida no contiene ninguna variable de tipo filtrada.