深入探讨OpenTelemetry的内部工作原理，并分析@WithSpan在一般情况下以及在Kotlin协程上下文中的工作机制。