{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"ListSkeleton"}]}
                    ListSkeleton { header: $header_init, len: 0, data: [] };
                static EMPTY: ListSkeleton<$header_ty, MaxAlign> =