{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Lower generic arguments from the HIR to the [`rustc_middle::ty`] representation.
/// This is a rather complex function. Let us try to explain the role