{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"args:"}]}
        args: &[Spanned<Operand<'tcx>>],
        args_ref: GenericArgsRef<'tcx>,
        source_info: SourceInfo,