pub type FieldType_RwLock_pred<Pred> = Ghost<Pred>;
struct FieldType_RwLock_pred<Pred> { /* private fields */ }