{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
            // More direct visibility levels can never go farther than less direct ones,
        for (&def_id, ev) in &self.map {
            // and all effective visibilities are larger or equal than private visibility.