{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
) -> String {
    instantiating_crate: CrateNum,
    // If this is something instantiated in the local crate then we might