<init>

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

BuilderInference()

Позволяет вывести аргументы типов дженериков функции из вызовов в аннотированном параметре функции.

Когда эта аннотация размещается в параметре дженериковой функции, она позволяет вывести аргументы типа этой дженериковой функции из лямбда-тела, переданного в этот параметр.

Вызовы, влияющие на вывод, являются либо членами типа получателя аннотированного параметра функции, либо расширениями для этого типа. Расширения должны быть сами аннотированы с @BuilderInference.

Пример: мы объявляем

fun <T> sequence(@BuilderInference block: suspend SequenceScope<T>.() -> Unit): Sequence<T>

и используем её так

val result = sequence { yield("result") }

Здесь аргумент типа полученного Sequence выводится как String из аргумента функции SequenceScope.yield, которая вызывается внутри лямбды, переданной в sequence.

Примечание: эта аннотация экспериментальная, см. ExperimentalTypeInference, как включить её.