No, no es posible. 1 + 2 se reduce a 1.plus(2) , y hay un orden bien definido en cómo el compilador encuentra un método plus apropiado. Especificación:

Si una llamada es correcta, para un f llamable con un receptor explícito e de tipo T se analizan los siguientes conjuntos ( en el orden dado ):

1. Llamables de miembros que no son de extensión denominados f de tipo T ;
2. Llamables de extensión denominados f , cuyo tipo de receptor U se ajusta al tipo T , en el ámbito actual y sus ámbitos vinculados hacia arriba, ordenados por el tamaño del ámbito (el más pequeño primero), excluyendo el ámbito del paquete;
3. [...]

[...]

Al analizar estos conjuntos, el primer conjunto que contiene cualquier invocable aplicable se elige para la partición de nivel C, lo que nos da el conjunto de candidatos de sobrecarga resultante.

Entonces, el método plus que se declara en Int siempre se encuentra primero y la búsqueda se detiene allí. Cualquier extensión que defina será ignorada.

Hipotéticamente, si el Int.plus es una función de extensión implícitamente importada, ¡entonces su código habría funcionado! Las extensiones importadas implícitamente son #6 en esa lista :)

Mi solución para esta situación es usar la función "declarar funciones con casi cualquier nombre agregando acentos graves":

 infix fun Int.`+`(other: Int) = listOf(this, other) fun main() { println( 1 `+` 2 ) }

Esto no funcionaría para algunos nombres que tienen caracteres reservados como corchetes, corchetes angulares, barras y puntos (no es una lista exhaustiva).