An inline value class `@JvmInline value class Meters(val v: Double)` defines `fun plus(o: Meters): Meters`. What name-mangling does the compiler apply to such a member function, and why?
@JvmInline value class Meters(val v: Double) {
fun plus(o: Meters) = Meters(v + o.v)
}