Cannot assign value to variable of the same type

[profencer]

TypeScript Version: 3.5.0-dev.20190504

Search Terms:
Two different types with this name exist, but they are unrelated.

Code

type Type<G extends boolean, T> = G extends true ? (input: number) => T : (input: T) => number
type U = <T>(x: <G extends boolean>() => Type<G, T>) => void;
const i: U = <T>(x: <G extends boolean>() => Type<G, T>) => {};

Expected behavior:
No error

Actual behavior:
Error

Type '<T>(x: <G extends boolean>() => Type<G, T>) => void' is not assignable to type 'U'.
  Types of parameters 'x' and 'x' are incompatible.
    Type 'Type<G, T>' is not assignable to type 'Type<G, number>'.
      Type '(input: number) => T' is not assignable to type '(input: number) => number'.
        Type 'T' is not assignable to type 'number'.

Playground Link:
link

Related Issues:
#26627
#25373

[jack-williams]

This is fixed: playground

[weswigham]

So it is.