{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"name.display(semantics_scope.db,"}]}
            name.display(semantics_scope.db, semantics_scope.krate().edition(semantics_scope.db))
        names_in_scope.push(
                .to_string(),