{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"args,"}]}
            args,
            def_id,
            ty.ty_adt_def().and_then(|adt| tcx.hir_span_if_local(adt.did())).unwrap_or(DUMMY_SP),