{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
    impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for HighestVarInClauses {
    }
        fn visit_binder<T: TypeVisitable<TyCtxt<'tcx>>>(