//! RFCs about check(type, borrow).
pub mod borrow;
pub mod type_ck;