Например в Kotlin подходящий тип был бы Any? (предок всех типов). Т.е. в системе типов должен быть тип, от которого унаследованы все остальные типы.

А вообще, имхо, разумней назначать каждому placeholder-у свой тип (выведенный из выражения) и всё. Почему у всех должен быть один тип? Они же концептуально разные, несмотря на одинаковое имя.

Например в Kotlin подходящий тип был бы Any? (предок всех типов). Т.е. в системе типов должен быть тип, от которого унаследованы все остальные типы.

А вообще, имхо, разумней назначать каждому placeholder-у свой тип (выведенный из выражения) и всё. Почему у всех должен быть один тип? Они же концептуально разные, несмотря на одинаковое имя.

Про шаблон — не понял.