I completely agree with the outcome and the aspects about which form of the code is "best", but why do we at all look at the bytecode here?! We shouldn't even care about the bytecode when asking which code is more readable, do we

You have a point. Perhaps, it could be considered just as another way of looking at it, showing the “concise” code in Kotlin doesn’t mean more optimized compiled code.