{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//!"}]}
//! We retrieve and monomorphize the rustc body representation, i.e., we generate a
//!
//! monomorphic body using internal representation.