interface I_Function_this {
    +x : (this : I_Function_this) => void
}

interface I_Method_this {
    x(this : I_Method_this) : void
}

interface I_Function_mixed {
    +x : (this : mixed) => void
}

interface I_Method_mixed {
    x(this : mixed) : void
}

interface I_Function_empty {
    +x : (this : empty) => void
}

/* ----------------- */

class C_Function_this {
    +x : (this : C_Function_this) => void
}

class C_Method_this {
    x(this : C_Method_this) : void {}
}

class C_Function_mixed {
    +x : (this : mixed) => void
}

class C_Method_mixed {
    x(this : mixed) : void {}
}

class C_Function_empty {
    +x : (this : empty) => void
}


declare var cft : C_Function_this;
declare var cmt : C_Method_this;
declare var cfm : C_Function_mixed;
declare var cmm : C_Method_mixed;
declare var cfe : C_Function_empty;

(cft : I_Function_this); // error, contravariant
(cft : I_Method_this); // error, contravariant
(cft : I_Function_mixed); // error, contravariant
(cft : I_Method_mixed); // error, contravariant
(cft : I_Function_empty); // ok

(cmt : I_Function_this); // error, unbound method
(cmt : I_Method_this); // ok
(cmt : I_Function_mixed); // error, unbound method
(cmt : I_Method_mixed); // ok
(cmt : I_Function_empty); // error, unbound method

(cfm : I_Function_this); // ok
(cfm : I_Method_this); // ok
(cfm : I_Function_mixed); // ok
(cfm : I_Method_mixed); // ok
(cfm : I_Function_empty); // ok

(cmm : I_Function_this); // error, unbound method
(cmm : I_Method_this); // ok
(cmm : I_Function_mixed); // error, unbound method
(cmm : I_Method_mixed); // ok
(cmm : I_Function_empty); // error, unbound method

(cfe : I_Function_this); // error, contravariant
(cfe : I_Method_this); // error, contravariant
(cfe : I_Function_mixed); // error, contravariant
(cfe : I_Method_mixed); // error, contravariant
(cfe : I_Function_empty); // ok
