From df695657813d5a9a6a83178adb757961fd7b624e Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 10 Sep 2025 16:27:01 +0000 Subject: [PATCH 01/22] Upgrade to nightly-2025-09-10 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 969a0a4c1da..ff3463207ab 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-09" +channel = "nightly-2025-09-10" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From bf842bc908944a5d583d9ac2e1b0aa36b3b15b39 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Wed, 10 Sep 2025 15:22:10 -0300 Subject: [PATCH 02/22] erase_regions -> erase_and_normalize_regions --- crates/flux-infer/src/projections.rs | 6 +++--- crates/flux-rustc-bridge/src/lowering.rs | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/crates/flux-infer/src/projections.rs b/crates/flux-infer/src/projections.rs index 24fa03dc5b6..9a2519a9480 100644 --- a/crates/flux-infer/src/projections.rs +++ b/crates/flux-infer/src/projections.rs @@ -368,7 +368,7 @@ impl<'a, 'infcx, 'genv, 'tcx> Normalizer<'a, 'infcx, 'genv, 'tcx> { candidates: &mut Vec, ) -> QueryResult { let trait_ref = obligation.to_rustc(self.tcx()).trait_ref(self.tcx()); - let trait_ref = self.tcx().erase_regions(trait_ref); + let trait_ref = self.tcx().erase_and_anonymize_regions(trait_ref); let trait_pred = Obligation::new( self.tcx(), ObligationCause::dummy(), @@ -727,7 +727,7 @@ fn normalize_projection_ty_with_rustc<'tcx>( ) -> QueryResult<(bool, SubsetTyCtor)> { let tcx = genv.tcx(); let projection_ty = obligation.to_rustc(tcx); - let projection_ty = tcx.erase_regions(projection_ty); + let projection_ty = tcx.erase_and_anonymize_regions(projection_ty); let cause = ObligationCause::dummy(); let param_env = tcx.param_env(def_id); @@ -813,7 +813,7 @@ fn get_impl_data_for_alias_reft<'tcx>( let tcx = infcx.tcx; let mut selcx = SelectionContext::new(infcx); let trait_ref = alias_reft.to_rustc_trait_ref(tcx); - let trait_ref = tcx.erase_regions(trait_ref); + let trait_ref = tcx.erase_and_anonymize_regions(trait_ref); let trait_pred = Obligation::new(tcx, ObligationCause::dummy(), tcx.param_env(def_id), trait_ref); match selcx.select(&trait_pred) { diff --git a/crates/flux-rustc-bridge/src/lowering.rs b/crates/flux-rustc-bridge/src/lowering.rs index d302a88d7f9..d2d9fe46489 100644 --- a/crates/flux-rustc-bridge/src/lowering.rs +++ b/crates/flux-rustc-bridge/src/lowering.rs @@ -92,7 +92,7 @@ fn trait_ref_impl_id<'tcx>( param_env: ParamEnv<'tcx>, trait_ref: rustc_ty::TraitRef<'tcx>, ) -> Option<(DefId, rustc_middle::ty::GenericArgsRef<'tcx>)> { - let trait_ref = tcx.erase_regions(trait_ref); + let trait_ref = tcx.erase_and_anonymize_regions(trait_ref); let obligation = Obligation::new(tcx, ObligationCause::dummy(), param_env, trait_ref); let impl_source = selcx.select(&obligation).ok()??; let impl_source = selcx.infcx.resolve_vars_if_possible(impl_source); From 39c9272481dd7bb3999cfa5fc60c511242b9beb1 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Thu, 11 Sep 2025 14:42:55 +0000 Subject: [PATCH 03/22] Upgrade to nightly-2025-09-14 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index ff3463207ab..a4ddb72373a 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-10" +channel = "nightly-2025-09-14" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 9e8c36ce4db2997e8b10826b29b93d12a80b40e1 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 15 Sep 2025 21:41:39 -0300 Subject: [PATCH 04/22] trait_item_def_id -> trait_item_def_id() --- crates/flux-infer/src/projections.rs | 2 +- crates/flux-refineck/src/checker.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/flux-infer/src/projections.rs b/crates/flux-infer/src/projections.rs index 9a2519a9480..18293ba5838 100644 --- a/crates/flux-infer/src/projections.rs +++ b/crates/flux-infer/src/projections.rs @@ -223,7 +223,7 @@ impl<'a, 'infcx, 'genv, 'tcx> Normalizer<'a, 'infcx, 'genv, 'tcx> { let assoc_type_id = tcx .associated_items(impl_def_id) .in_definition_order() - .find(|item| item.trait_item_def_id == Some(obligation.def_id)) + .find(|item| item.trait_item_def_id() == Some(obligation.def_id)) .map(|item| item.def_id) .ok_or_else(|| { query_bug!("no associated type for {obligation:?} in impl {impl_def_id:?}") diff --git a/crates/flux-refineck/src/checker.rs b/crates/flux-refineck/src/checker.rs index 44b2a850351..e4b0a4b4b26 100644 --- a/crates/flux-refineck/src/checker.rs +++ b/crates/flux-refineck/src/checker.rs @@ -400,7 +400,7 @@ fn find_trait_item( && let Some(impl_trait_ref) = genv.impl_trait_ref(impl_id)? { let impl_trait_ref = impl_trait_ref.instantiate_identity(); - let trait_item_id = tcx.associated_item(def_id).trait_item_def_id.unwrap(); + let trait_item_id = tcx.associated_item(def_id).trait_item_def_id().unwrap(); return Ok(Some((impl_trait_ref, trait_item_id))); } Ok(None) From 5164c7d8de38cc5569b84d285310f3b14469396b Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 16 Sep 2025 12:37:38 +0000 Subject: [PATCH 05/22] Upgrade to nightly-2025-09-18 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index a4ddb72373a..9886de4be34 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-14" +channel = "nightly-2025-09-18" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 9051097b1ca0daea710d7de81af5086f07c02752 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 22 Sep 2025 12:26:05 -0300 Subject: [PATCH 06/22] Remove Rvalue::Len --- crates/flux-refineck/src/checker.rs | 21 ------------------- .../src/ghost_statements/fold_unfold.rs | 3 --- crates/flux-rustc-bridge/src/lowering.rs | 1 - crates/flux-rustc-bridge/src/mir.rs | 2 -- 4 files changed, 27 deletions(-) diff --git a/crates/flux-refineck/src/checker.rs b/crates/flux-refineck/src/checker.rs index e4b0a4b4b26..4ca7d0ed623 100644 --- a/crates/flux-refineck/src/checker.rs +++ b/crates/flux-refineck/src/checker.rs @@ -1266,7 +1266,6 @@ impl<'ck, 'genv, 'tcx, M: Mode> Checker<'ck, 'genv, 'tcx, M> { .with_span(stmt_span) } Rvalue::NullaryOp(null_op, ty) => Ok(self.check_nullary_op(*null_op, ty)), - Rvalue::Len(place) => self.check_len(infcx, env, stmt_span, place), Rvalue::UnaryOp(UnOp::PtrMetadata, Operand::Copy(place)) | Rvalue::UnaryOp(UnOp::PtrMetadata, Operand::Move(place)) => { self.check_raw_ptr_metadata(infcx, env, stmt_span, place) @@ -1366,26 +1365,6 @@ impl<'ck, 'genv, 'tcx, M: Mode> Checker<'ck, 'genv, 'tcx, M> { } } - fn check_len( - &mut self, - infcx: &mut InferCtxt, - env: &mut TypeEnv, - stmt_span: Span, - place: &Place, - ) -> Result { - let ty = env - .lookup_place(&mut infcx.at(stmt_span), place) - .with_span(stmt_span)?; - - let idx = match ty.kind() { - TyKind::Indexed(BaseTy::Array(_, len), _) => Expr::from_const(self.genv.tcx(), len), - TyKind::Indexed(BaseTy::Slice(_), idx) => idx.clone(), - _ => tracked_span_bug!("check_len: expected array or slice type found `{ty:?}`"), - }; - - Ok(Ty::indexed(BaseTy::Uint(UintTy::Usize), idx)) - } - fn check_binary_op( &mut self, infcx: &mut InferCtxt, diff --git a/crates/flux-refineck/src/ghost_statements/fold_unfold.rs b/crates/flux-refineck/src/ghost_statements/fold_unfold.rs index 20cf1eeeff9..73a11bcbe90 100644 --- a/crates/flux-refineck/src/ghost_statements/fold_unfold.rs +++ b/crates/flux-refineck/src/ghost_statements/fold_unfold.rs @@ -298,9 +298,6 @@ impl FoldUnfoldAnalysis<'_, '_, '_, M> { } StatementKind::Assign(place, rvalue) => { match rvalue { - Rvalue::Len(place) => { - M::projection(self, env, place)?; - } Rvalue::UnaryOp(UnOp::PtrMetadata, Operand::Copy(place)) | Rvalue::UnaryOp(UnOp::PtrMetadata, Operand::Move(place)) => { let deref_place = place.deref(); diff --git a/crates/flux-rustc-bridge/src/lowering.rs b/crates/flux-rustc-bridge/src/lowering.rs index d2d9fe46489..bca4ec5a4fc 100644 --- a/crates/flux-rustc-bridge/src/lowering.rs +++ b/crates/flux-rustc-bridge/src/lowering.rs @@ -455,7 +455,6 @@ impl<'sess, 'tcx> MirLoweringCtxt<'_, 'sess, 'tcx> { rustc_mir::Rvalue::RawPtr(kind, place) => { Ok(Rvalue::RawPtr(*kind, lower_place(self.tcx, place)?)) } - rustc_mir::Rvalue::Len(place) => Ok(Rvalue::Len(lower_place(self.tcx, place)?)), rustc_mir::Rvalue::Cast(kind, op, ty) => { let kind = self.lower_cast_kind(*kind).ok_or_else(|| { UnsupportedReason::new(format!("unsupported cast `{kind:?}`")) diff --git a/crates/flux-rustc-bridge/src/mir.rs b/crates/flux-rustc-bridge/src/mir.rs index e63a5ac15cc..55e8e04071d 100644 --- a/crates/flux-rustc-bridge/src/mir.rs +++ b/crates/flux-rustc-bridge/src/mir.rs @@ -207,7 +207,6 @@ pub enum Rvalue { Repeat(Operand, Const), Ref(Region, BorrowKind, Place), RawPtr(RawPtrKind, Place), - Len(Place), Cast(CastKind, Operand, Ty), BinaryOp(BinOp, Operand, Operand), NullaryOp(NullOp, Ty), @@ -721,7 +720,6 @@ impl fmt::Debug for Rvalue { Rvalue::Aggregate(AggregateKind::Tuple, args) => { write!(f, "({:?})", args.iter().format(", ")) } - Rvalue::Len(place) => write!(f, "Len({place:?})"), Rvalue::Cast(kind, op, ty) => write!(f, "{op:?} as {ty:?} [{kind:?}]"), Rvalue::Repeat(op, c) => write!(f, "[{op:?}; {c:?}]"), Rvalue::ShallowInitBox(op, ty) => write!(f, "ShallowInitBox({op:?}, {ty:?})"), From a5ef1e1adc90e90c8e0b68f7f98e963d7e45961c Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 22 Sep 2025 17:30:41 +0000 Subject: [PATCH 07/22] Upgrade to nightly-2025-09-19 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 9886de4be34..0d3bc0d1770 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-18" +channel = "nightly-2025-09-19" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 5478a78c128a701426fae453473c18f15ecfe58b Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 22 Sep 2025 15:06:23 -0300 Subject: [PATCH 08/22] Remove DynStar --- crates/flux-middle/src/rty/mod.rs | 2 +- crates/flux-rustc-bridge/src/lowering.rs | 2 +- crates/flux-rustc-bridge/src/ty/mod.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/flux-middle/src/rty/mod.rs b/crates/flux-middle/src/rty/mod.rs index 0cfd3d18bac..d9366475a99 100644 --- a/crates/flux-middle/src/rty/mod.rs +++ b/crates/flux-middle/src/rty/mod.rs @@ -2006,7 +2006,7 @@ impl<'tcx> ToRustc<'tcx> for BaseTy { .map(|pred| pred.to_rustc(tcx)) .collect_vec(); let preds = tcx.mk_poly_existential_predicates(&preds); - ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx), rustc_middle::ty::DynKind::Dyn) + ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx)) } BaseTy::Coroutine(def_id, resume_ty, upvars) => { bug!("TODO: Generator {def_id:?} {resume_ty:?} {upvars:?}") diff --git a/crates/flux-rustc-bridge/src/lowering.rs b/crates/flux-rustc-bridge/src/lowering.rs index bca4ec5a4fc..07a758b46b5 100644 --- a/crates/flux-rustc-bridge/src/lowering.rs +++ b/crates/flux-rustc-bridge/src/lowering.rs @@ -896,7 +896,7 @@ impl<'tcx> Lower<'tcx> for rustc_ty::Ty<'tcx> { let args = args.lower(tcx)?; Ok(Ty::mk_generator_witness(*did, args)) } - rustc_ty::Dynamic(predicates, region, rustc_ty::DynKind::Dyn) => { + rustc_ty::Dynamic(predicates, region) => { let region = region.lower(tcx)?; let exi_preds = List::from_vec( diff --git a/crates/flux-rustc-bridge/src/ty/mod.rs b/crates/flux-rustc-bridge/src/ty/mod.rs index 7ab4fede185..4a63f153863 100644 --- a/crates/flux-rustc-bridge/src/ty/mod.rs +++ b/crates/flux-rustc-bridge/src/ty/mod.rs @@ -963,7 +963,7 @@ impl<'tcx> ToRustc<'tcx> for Ty { .collect_vec(); let preds = tcx.mk_poly_existential_predicates(&preds); - rustc_ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx), rustc_ty::DynKind::Dyn) + rustc_ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx)) } TyKind::Coroutine(_, _) | TyKind::CoroutineWitness(_, _) => { bug!("TODO: to_rustc for `{self:?}`") From 2990c6f440e468fa1d1c104cdcbae03456208818 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 22 Sep 2025 18:16:27 +0000 Subject: [PATCH 09/22] Upgrade to nightly-2025-09-28 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 0d3bc0d1770..3baa8fe5206 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-19" +channel = "nightly-2025-09-28" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 4286d2b630a59f2012baedc43ff0c54a10fd6577 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Tue, 30 Sep 2025 10:39:11 -0300 Subject: [PATCH 10/22] Remove sym::hide --- crates/flux-syntax/src/symbols.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/crates/flux-syntax/src/symbols.rs b/crates/flux-syntax/src/symbols.rs index 030dbd735bc..bb3e5ecdf2c 100644 --- a/crates/flux-syntax/src/symbols.rs +++ b/crates/flux-syntax/src/symbols.rs @@ -23,7 +23,6 @@ symbols! { Symbols { Map, Set, - hide, int, real, } From e6a17b05d27f6e72d7b2ec7313091eabc6798d04 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 30 Sep 2025 13:59:37 +0000 Subject: [PATCH 11/22] Upgrade to nightly-2025-09-29 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 3baa8fe5206..94ce0b05480 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-28" +channel = "nightly-2025-09-29" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 1f5d7e6d4cabbcb76bbaa7ab4c84de6fab7210e2 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 30 Sep 2025 14:06:56 +0000 Subject: [PATCH 12/22] Upgrade to nightly-2025-09-30 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 94ce0b05480..8c1d9c23e18 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-29" +channel = "nightly-2025-09-30" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 66bbff426cc616ee9870057bda7642da65c4368c Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 1 Oct 2025 15:59:04 +0000 Subject: [PATCH 13/22] Upgrade to nightly-2025-10-01 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 8c1d9c23e18..a8dceba698c 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-09-30" +channel = "nightly-2025-10-01" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From b83b76a2544585c0196af4f7d883fca19b417bb5 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 3 Oct 2025 14:24:52 +0000 Subject: [PATCH 14/22] Upgrade to nightly-2025-10-02 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index a8dceba698c..908fe0d2ea2 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-01" +channel = "nightly-2025-10-02" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 784c7bcb54cbd5352efa27cb6d3894e7fa0f4435 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 3 Oct 2025 14:31:39 +0000 Subject: [PATCH 15/22] Upgrade to nightly-2025-10-03 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 908fe0d2ea2..cba4a523f35 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-02" +channel = "nightly-2025-10-03" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From ed202377453d6bcbb5768a4adbda5373055770ba Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Fri, 3 Oct 2025 15:34:31 -0300 Subject: [PATCH 16/22] ty::BoundVarIndexKind --- crates/flux-rustc-bridge/src/lowering.rs | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/crates/flux-rustc-bridge/src/lowering.rs b/crates/flux-rustc-bridge/src/lowering.rs index 07a758b46b5..5ea1a5ef075 100644 --- a/crates/flux-rustc-bridge/src/lowering.rs +++ b/crates/flux-rustc-bridge/src/lowering.rs @@ -1019,19 +1019,22 @@ impl<'tcx> Lower<'tcx> for rustc_middle::ty::Region<'tcx> { type R = Result; fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R { - use rustc_middle::ty::RegionKind; + use rustc_middle::ty; match self.kind() { - RegionKind::ReVar(rvid) => Ok(Region::ReVar(rvid)), - RegionKind::ReBound(debruijn, bregion) => { + ty::ReVar(rvid) => Ok(Region::ReVar(rvid)), + ty::ReBound(ty::BoundVarIndexKind::Bound(debruijn), bregion) => { Ok(Region::ReBound( debruijn, Ok(BoundRegion { kind: bregion.kind, var: bregion.var })?, )) } - RegionKind::ReEarlyParam(bregion) => Ok(Region::ReEarlyParam(bregion)), - RegionKind::ReStatic => Ok(Region::ReStatic), - RegionKind::ReErased => Ok(Region::ReErased), - RegionKind::ReLateParam(_) | RegionKind::RePlaceholder(_) | RegionKind::ReError(_) => { + ty::ReEarlyParam(bregion) => Ok(Region::ReEarlyParam(bregion)), + ty::ReStatic => Ok(Region::ReStatic), + ty::ReErased => Ok(Region::ReErased), + ty::ReBound(ty::BoundVarIndexKind::Canonical, _) + | ty::ReLateParam(_) + | ty::RePlaceholder(_) + | ty::ReError(_) => { Err(UnsupportedReason::new(format!("unsupported region `{self:?}`"))) } } From 9bf2bf417a0b4d3f062563f6bedaa442c74ae550 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 14:52:18 +0000 Subject: [PATCH 17/22] Upgrade to nightly-2025-10-04 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index cba4a523f35..e2f5a8a6558 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-03" +channel = "nightly-2025-10-04" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 7c26b4ad7d126b1d75752cbcc4658e07d46029c8 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 14:59:36 +0000 Subject: [PATCH 18/22] Upgrade to nightly-2025-10-05 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index e2f5a8a6558..3206c4393e7 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-04" +channel = "nightly-2025-10-05" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From f484a5dc714d8ab7c15f64e4f77d972014bce4f0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 15:06:02 +0000 Subject: [PATCH 19/22] Upgrade to nightly-2025-10-06 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 3206c4393e7..e708cf55e43 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-05" +channel = "nightly-2025-10-06" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 82e023dc8458b9721acdbb9ff635fdf192a96253 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 7 Oct 2025 13:04:42 +0000 Subject: [PATCH 20/22] Upgrade to nightly-2025-10-07 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index e708cf55e43..2fad383a37c 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-06" +channel = "nightly-2025-10-07" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From f77882cfce20f52cbd08ceaec939f057318457ac Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 8 Oct 2025 14:24:46 +0000 Subject: [PATCH 21/22] Upgrade to nightly-2025-10-08 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 2fad383a37c..11bc180e6ed 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-07" +channel = "nightly-2025-10-08" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"] From 537c94fab0ddaeb441f8d00502788fc16e66bda2 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Thu, 9 Oct 2025 12:52:36 +0000 Subject: [PATCH 22/22] Upgrade to nightly-2025-10-09 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 11bc180e6ed..5c83bd63d63 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2025-10-08" +channel = "nightly-2025-10-09" components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt", "clippy"]