{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// values from the args when monomorphizing the function body. But in the latter case, we
    /// In the former case, we want to instantiate those generic types and replace them with the
    /// don't want to do that instantiation, since it has already been done effectively.