Thanks! Why haven’t those two methods just been marked as external?
How does inlining actually work? I suppose this must be something that is done on a bytecode level? Otherwise it wouldn’t work for library functions, would it?
Also, I am wondering if the annotation should be open to everyone. Preventing java code from calling such an inlined method sounds like a reasonable request for user code as well.