https://docs.swift.org/swift-book/documentation/the-swift-programming-language/attributes/#objc
it states:
Note
If you omit the argument, the name used in Objective-C code matches the name in Swift code, and the runtime name follows the normal Swift compiler convention of name mangling.
Shouldn't it be vice versa: as if omitted Obj-C code receives mangled name and Runtime keeps name in Swift code ?
thank you