// LANGUAGE: +ContextReceivers

interface I {
    context(String, Int) fun foo()
}

class C1 : I {
    context(String, Int) override fun foo() {}
}

<!ABSTRACT_MEMBER_NOT_IMPLEMENTED!>class C2<!> : I {
    context(String) <!NOTHING_TO_OVERRIDE!>override<!> fun foo() {}
}

<!ABSTRACT_MEMBER_NOT_IMPLEMENTED!>class C3<!> : I {
    context(Int, String) <!NOTHING_TO_OVERRIDE!>override<!> fun foo() {}
}

<!ABSTRACT_MEMBER_NOT_IMPLEMENTED!>class C4<!> : I {
    context(String, Float) <!NOTHING_TO_OVERRIDE!>override<!> fun foo() {}
}