{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Trait used to translate a rustc_public's IR construct to its rustc counterpart.
/// This is basically a mirror of [Stable].