Type Definition Binders
Other items inra_ap_hir_ty
type Binders<T> = Binders<T>;
impl<T: TypeWalk + HasInterner<Interner = Interner>> TypeWalk for Binders<T>
fn walk(&self, f: &mut impl FnMut(&Ty))