{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":".fill(|_|"}]}
                                        .fill(|_| index_ty.clone().cast(Interner))
                                        .push(base_ty)
                                        .build();