{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"#[rustc_box]"}]}
            #[rustc_box]
            // time when constructing arrays with many elements.
            $crate::boxed::Box::new([$($x),+])