Generics; ReturnType<Foo> != ReturnType<typeof foo>

TypeScript Version: Version 2.9.0-dev.20180516

Search Terms: generic function returntype

I couldn't think of a good title for this,

Code

type Delegate<T> = () => T;

function executeGeneric<
    X,
    DelegateT extends Delegate<X> 
>(delegate: DelegateT): ReturnType<DelegateT> {
    //Type 'X' is not assignable to type 'ReturnType<DelegateT>'.
    const x: ReturnType<typeof delegate> = delegate();
    //Type 'X' is not assignable to type 'ReturnType<DelegateT>'.
    const y: ReturnType<DelegateT> = delegate();
    //Type 'X' is not assignable to type 'ReturnType<DelegateT>'.
    return delegate();
}

Expected behavior:

Return successfully.

Intuitively, to me,

1. delegate is of typeDelegateT.
2. ReturnType<DelegateT> and ReturnType<typeof delegate> should be the same

However,

Actual behavior:

Type 'X' is not assignable to type 'ReturnType<DelegateT>'.

Playground Link: Here

Related Issues:

Beginne mit der verknüpften TypeScript Playground-Reproduktion und vergleiche die Typen von ReturnType und ReturnType in der generischen Funktion. Ermittle, ob die gemeldeten Zuweisungsfehler beseitigt werden sollten, während die angegebene generische Beziehung erhalten bleibt, und überprüfe anschließend, dass die Reproduktion diese Fehler nicht mehr meldet.