{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".push(base_ty)"}]}
                                        .push(base_ty)
                                    let trait_ref = TyBuilder::trait_ref(self.db, index_trait)
                                        .fill(|_| index_ty.clone().cast(Interner))