[book] Type Inference (type rules) algorithm

[storenth]

From the book at Number Types

The location where the L appears is unimportant. If one of the values is Long, the resulting expression is Long.

AtomicKotlinExamples/Examples/NumberTypes/UsingLongs.kt

Line 6 in 18d4e89

println(0L + i + i) // [1]

Not true, there is an actual result in case I move L val to the different place:

fun main() {
  val i = Int.MAX_VALUE
  println(i + i + 0L)  // overflow, because of math rule
}

Anyway, can you explain Type Inference (type rules) algo or point me to an authoritative resource?