{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":".push(inner_ty)"}]}
                .push(inner_ty)
            TyBuilder::adt(self.db, box_id)
                .fill_with_defaults(self.db, || self.table.new_type_var())