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 😉

Commencez par le repro lié dans TypeScript Playground et vérifiez à la fois l’absence du diagnostic de circularité et le P qui s’est échappé dans la déclaration générée. Suivez la manière dont le compilateur traite [P in keyof P] et la sortie de déclaration pour ce cas. Le travail est terminé lorsque la référence circulaire est signalée et que la déclaration émise ne contient aucune variable de type échappée.