pub trait VisitorWithBinderDepth { // Required method fn binder_depth_mut(&mut self) -> &mut DeBruijnId; }