Style: explicit `readwrite` in redeclarations