// @flow

declare class C {
    static x: number;
    static foo(x: number): void;

    constructor(x: string): void;
}

C.x = "";
C.foo("");

(C.name: string);
(C.name: number); // error, it's a string

declare class D extends C { }
new D(123); // error, number ~> string

declare class E {
    +[key: string]: number;
}
;(new E()['a']: number) // no error
