@mantono Tail recursive function, marked with tailrec, is compiled into a loop. I don’t see anything that could prevent it from inlining.
As for non-local return, please refer to Kotlin docs: https://kotlinlang.org/docs/reference/inline-functions.html#non-local-returns