Kotlin: ¿Para qué se llaman los arguments lambda?

En Kotlin, es posible dar nombres de arguments lambda en su definición.

fun example(lambda: (a: Int, b: Int) -> Int) 

Como puede ver, a y b se nombran en la lambda. Pensé que esta podría ser una información realmente útil para un IDE, para generar lambdas con los nombres de parameters completados … pero al less con IntelliJ, la funcionalidad no existe o funciona de una manera que no conozco.

Entonces, ¿cuáles son los usos de los arguments nombrados lambda? ¿Cambian la salida de compilation de alguna manera? ¿Y hay algún truco para usar?

    Actualmente, ninguna característica de idioma utiliza estos nombres, y, hasta donde yo sé, lo único que hace es la generación de templates lambda por el plugin IDE:

    enter image description here

    Luego, presione Tab o Enter , y obtendrá la lambda con los nombres de los parameters declarados en la definición de example :

    enter image description here

    Además, vea este problema: haga uso de parameters nombrados de funciones de order superior