Yep, I think `@dynamic` seems to be the way to go here - would be sensible to test the behaviour is still correct, rather than just the warning going away.

Backup option is to suppress the warning
```objectivec
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wobjc-property-synthesis"
...
#pragma clang diagnostic pop
```
until [this bug](http://llvm.org/bugs/show_bug.cgi?id=16693) is fixed as we know the code does actually work as-is.