as far, as I understand, in general, some Kotlin code would be untransferable to a different compiler backend, if it uses any Java library or anything JVM-specific, right?

Yes, if your code references any kind of Java code (JDK or not), it cannot be compiled for e.g. Javascript, for obvious reasons.