Due to some short-circuiting in the serialization logic, we never added @objc getters/setters to a module’s Objective-C method table.
Doug Gregor