{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"}),"}]}
            }),
                args: ty::GenericArgs::empty(),
            ExportedSymbol::NoDefId(symbol_name) => symbol_name,