This seems to be a new Swift-like Objective-C syntax.
We should support it too.
already converts to the following (correct, just because of similar Objective-C and Swift syntax):
However, more complex samples doesn’t work as expected, i.e. this one (source):
should convert to:
Side note: I think the syntax of parameters for Objective-C `@available()` and Swift `#available()` should be identical, but please check the documentation to confirm.