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