pub trait ReadExt { // Provided method fn restrict(self, restriction: u64) -> Restrict<Self> ⓘ where Self: Sized + Read { ... } }