Incorrect compilation with static method polymorphism

[rzio]

TypeScript Version: 2.5.2

Code

export interface IFuture<TResult> {
    done(callback: (result: TResult) => void): IFuture<TResult>;
}
export interface IVoidFuture extends IFuture<void | any> {
    done(callback: (result?: void) => void): IVoidFuture;
}

export class Future<TResult> implements IFuture<TResult>{
    public static createResolved<TResult>(result?: TResult): IFuture<TResult> {
        let asyncResult: Future<TResult> = new Future<TResult>();
        return asyncResult;
    }


    public done(callback: (result: TResult) => void): Future<TResult> {
        return this;
    }
}

export class VoidFuture extends Future<void> implements IVoidFuture  {
    private static _resolvedFuture: IVoidFuture;

    public static createResolved(result?: void): IVoidFuture  {
        if (!VoidFuture._resolvedFuture) {
            VoidFuture._resolvedFuture = Future.createResolved<void>();
        }
        return VoidFuture._resolvedFuture;
    }

    public done(callback: (result?: void) => void): IVoidFuture {
        return super.done(callback);
    }
}

Expected behavior:
Should compile
Actual behavior:

file.ts(20,14): error TS2417: Class static side 'typeof VoidFuture' incorrectly extends base class static side 'typeof Future'.
  Types of property 'createResolved' are incompatible.
    Type '(result?: void) => IVoidFuture' is not assignable to type '<TResult>(result?: TResult) => IFuture<TResult>'.
      Types of parameters 'result' and 'result' are incompatible.
        Type 'TResult' is not assignable to type 'void'.

[RyanCavanaugh]

This is a correct error. It's legal to write

const f: typeof Future = VoidFuture;
const r = f.createdResolved<string>(); // r: IFuture<string>

But VoidFuture is only going to return IFuture<void> in that case

[mhegazy]

Please see #18387 and #18465 and

[rzio]

Got it