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