{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
        impl<'tcx> ty::TypeVisitor<TyCtxt<'tcx>> for ProhibitOpaqueTypes {
        struct ProhibitOpaqueTypes;
            type Result = ControlFlow<Ty<'tcx>>;