Oh, sorry, forgot to respond.

There's `syntax::ast_map::node_id_to_str` (the `map` argument is `tcx.items`, and the interner one is `syntax::parse::token::get_ident_interner`), but this was described at "not user facing", although I think it's still better than `{:?}` of a def.