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