Cannot correctly infer the condition type of a generic function

[Grapedge]

Bug Report

typescript: 4.4.3

💻 Code

interface Config {
  field: string
}

type GetFieldType<T extends Config = Config> = T extends Config
  ? true
  : false

const test1: GetFieldType = true // => ok

function testFunc<T extends Config>() {
  const test2: GetFieldType<T> = true // ts 2322
  const test3: GetFieldType<T> = false // ts 2322
}

test1 works well.
But in the generic function, T inherits from Config, but ts cannot infer the type

[MartinJohns]

Same as #46155. test1 works because the type of T is known to be Config. test2 and test3 don't work, because the type of T is not yet known, so resolving of the conditional is deferred.

[jcalz]

Duplicate of #23132 I think

[typescript-bot]

This issue has been marked 'Working as Intended' and has seen no recent activity. It has been automatically closed for house-keeping purposes.