<init>

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

<init>(count: Int)

Указывает, что аннотированный функциональный тип имеет префикс размером count для контекстных получателей. Таким образом, @ContextFunctionTypeParams(2) @ExtensionFunctionType Function4<String, Int, Double, Byte, Unit> является нормализованным представлением context(String, Int) Double.(Byte) -> Unit.

Точно так же, как и @ExtensionFunctionType, эта аннотация не предполагается для использования в исходном коде, отдавая предпочтение явным синтаксическим конструкциям типов функций, как в приведённом выше примере.

Нет необходимости в дополнительных ограничениях, поскольку эта аннотация может быть использована только пользователями, включившими экспериментальный -Xcontext-receivers флаг компилятора, для которого не гарантируется обратная/прямая совместимость.