BuilderInference

@Target([AnnotationTarget.VALUE_PARAMETER, AnnotationTarget.FUNCTION, AnnotationTarget.PROPERTY]) @ExperimentalTypeInference annotation class BuilderInference

Позволяет выводить общие аргументы типа функции из вызовов в аннотированном параметре функции этой функции.

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

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

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

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

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

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

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

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