From 00de9ac5976ebcc1be843443a548c1c947a0010d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 10 Sep 2025 16:27:01 +0000 Subject: [PATCH 01/21] 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 969a0a4c1d..ff3463207a 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 85d40dfe5d063d7803cfa898d9945b3ec36c4613 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Wed, 10 Sep 2025 15:22:10 -0300 Subject: [PATCH 02/21] 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 24fa03dc5b..9a2519a948 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 d302a88d7f..d2d9fe4648 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 e9fa99961edbf2cbf8e517b21fd92038d7c97872 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Thu, 11 Sep 2025 14:42:55 +0000 Subject: [PATCH 03/21] 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 ff3463207a..a4ddb72373 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 0b5e11416a3c9a93bc8113a020b8ae24714d6ae6 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 15 Sep 2025 21:41:39 -0300 Subject: [PATCH 04/21] 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 9a2519a948..18293ba583 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 44b2a85035..e4b0a4b4b2 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 8587735e9649dd01409eae0e9d7f9767701726bf Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 16 Sep 2025 12:37:38 +0000 Subject: [PATCH 05/21] 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 a4ddb72373..9886de4be3 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 1c86d65d303f5528f2ebe876856997d26ba74a71 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 22 Sep 2025 12:26:05 -0300 Subject: [PATCH 06/21] 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 e4b0a4b4b2..4ca7d0ed62 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 20cf1eeeff..73a11bcbe9 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 d2d9fe4648..bca4ec5a4f 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 e63a5ac15c..55e8e04071 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 060f6fe8dc8ea489c8b28c157673e522faaa398a Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 22 Sep 2025 17:30:41 +0000 Subject: [PATCH 07/21] 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 9886de4be3..0d3bc0d177 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 bad8d11cbca410367a16feb16543517c9186ddfe Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Mon, 22 Sep 2025 15:06:23 -0300 Subject: [PATCH 08/21] 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 0cfd3d18ba..d9366475a9 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 bca4ec5a4f..07a758b46b 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 7ab4fede18..4a63f15386 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 e18d21b9254493e8a56570148b84ffc1af8ff6f6 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 22 Sep 2025 18:16:27 +0000 Subject: [PATCH 09/21] 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 0d3bc0d177..3baa8fe520 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 7fbb4b81c378a7c9f630c61b56c809424a4bfc56 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Tue, 30 Sep 2025 10:39:11 -0300 Subject: [PATCH 10/21] 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 030dbd735b..bb3e5ecdf2 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 3732041bc4632868b45318c408c3a8a0c4b32d90 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 30 Sep 2025 13:59:37 +0000 Subject: [PATCH 11/21] 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 3baa8fe520..94ce0b0548 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 420a86fcd36767a2d6555d2cf2e263f6695c6f53 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 30 Sep 2025 14:06:56 +0000 Subject: [PATCH 12/21] 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 94ce0b0548..8c1d9c23e1 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 4651c394655b1b163772ec5d13b305f8702fb5d6 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 1 Oct 2025 15:59:04 +0000 Subject: [PATCH 13/21] 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 8c1d9c23e1..a8dceba698 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 03a496e5416bc86bd262e971f557b8337986f42d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 3 Oct 2025 14:24:52 +0000 Subject: [PATCH 14/21] 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 a8dceba698..908fe0d2ea 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 ebd210b8e0a097090c3977a2402e045ce4c740de Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 3 Oct 2025 14:31:39 +0000 Subject: [PATCH 15/21] 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 908fe0d2ea..cba4a523f3 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 b471fab2bd8ecda11df0c13392ad38aeb77904db Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Fri, 3 Oct 2025 15:34:31 -0300 Subject: [PATCH 16/21] 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 07a758b46b..5ea1a5ef07 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 0e36b00d0059047869eec7a307c1c7136a3a4c55 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 14:52:18 +0000 Subject: [PATCH 17/21] 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 cba4a523f3..e2f5a8a655 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 2163ee78b30bf5541fb7bd88620bf16f0617b485 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 14:59:36 +0000 Subject: [PATCH 18/21] 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 e2f5a8a655..3206c4393e 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 56c20c7ffb1573bb999e3053367ab128e542a8dc Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Oct 2025 15:06:02 +0000 Subject: [PATCH 19/21] 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 3206c4393e..e708cf55e4 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 5d351baf98a5e8b89979a9d27f4b20feb471e827 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 7 Oct 2025 13:04:42 +0000 Subject: [PATCH 20/21] 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 e708cf55e4..2fad383a37 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 4074a0d3f6c51424f9d9cc6b2701b0b5aa1bdeaf Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 8 Oct 2025 14:24:46 +0000 Subject: [PATCH 21/21] 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 2fad383a37..11bc180e6e 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"]