重写的静态函数扩展类型参数的流类型检查

代码可以找到,但我不知道如何让flow在这里快乐。

这是一个小盒子 example :

// @flow

type Data = {
  id: number 
}

type ExtendedData = Data & {
  name: string 
}

class SomeClass {
    static something(some: Data): this {
        return new this(); // returns SomeClass
    }
}

class SomeOtherClass extends SomeClass {
    // flow: Cannot extend `SomeClass` [1] with `SomeOtherClass` 
    // because property `name` is missing in `Data` [2] but exists in 
    // object type [3] in the first argument of property `something`.
    static something(some: ExtendedData): this {
        return /* returns SomeOtherClass here */ super.something(some);
    }
}