<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") }

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

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