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