// !LANGUAGE: +ContextReceivers interface Common { fun supertypeMember() {} } interface C1 : Common { fun member() {} } interface C2 : Common { fun member() {} } fun Common.supertypeExtension() {} fun T.supertypeExtensionGeneric() {} context(Common) fun supertypeContextual() {} context(C1, C2) fun test() { supertypeMember() member() supertypeExtension() supertypeExtensionGeneric() supertypeContextual() }