pub fn collect_bindings<N>(n: &N) -> Bindingswhere
    N: Send + Sync + for<'aa> VisitWith<BindingCollector<'aa>> + VisitWith<KnownTypeVisitor>,