Allow inferring return type within a type guard in conditional types

Bug Report

🔎 Search Terms

typeguard conditional infer

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about (bug reporting)

⏯ Playground Link

Playground link with relevant code

💻 Code

This is simplified pretty heavily:

type InferredTypeGuard<TypeGuard> = 
    TypeGuard extends ((node: infer Input) => node is infer Output)
        ? (node: Input) => node is Output
        : never;

🙁 Actual behavior

Error on infer Output:

A type predicate's type must be assignable to its parameter's type.
  Type 'Output' is not assignable to type 'Input'.
    'Input' could be instantiated with an arbitrary type which could be unrelated to 'Output'.(2677)

🙂 Expected behavior

TypeScript should allow a conditional type to infer the Output type within the type guard function's return type.

There's no other syntax I can find to do so, and I would have thought this would be the cleanest syntax. Not sure if bug report or feature request...

Beginne mit dem verknüpften TypeScript Playground-Beispiel und dem vereinfachten bedingten Typ mit infer Input und infer Output. Verfolge die Zuweisbarkeitsprüfung des Typprädikats, die den Fehler 2677 meldet, und ermittle, wie die Inferenz bedingter Typen damit interagieren sollte. Als abgeschlossen gilt die Aufgabe, wenn das Beispiel mit den erwarteten inferierten Eingabe- und Ausgabetypen typgeprüft wird und eine Regressionstestabdeckung für dieses Verhalten vorhanden ist.