Skip to content

Commit

Permalink
Upgrade toolchain to 2024-09-07 (#3504)
Browse files Browse the repository at this point in the history
Relevant upstream PR:

rust-lang/rust#128776: The `TreatParams` enum
variants were renamed.

Resolves #3503 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
  • Loading branch information
zhassan-aws authored Sep 8, 2024
1 parent 20eb00c commit 7896cff
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
3 changes: 2 additions & 1 deletion kani-compiler/src/kani_middle/resolve.rs
Original file line number Diff line number Diff line change
Expand Up @@ -586,7 +586,8 @@ where
debug!(?name, ?ty, "resolve_in_primitive");
let internal_ty = rustc_internal::internal(tcx, ty);
let simple_ty =
fast_reject::simplify_type(tcx, internal_ty, TreatParams::AsCandidateKey).unwrap();
fast_reject::simplify_type(tcx, internal_ty, TreatParams::InstantiateWithInfer)
.unwrap();
let impls = tcx.incoherent_impls(simple_ty).unwrap();
// Find the primitive impl.
let item = impls
Expand Down
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@
# SPDX-License-Identifier: Apache-2.0 OR MIT

[toolchain]
channel = "nightly-2024-09-06"
channel = "nightly-2024-09-07"
components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

0 comments on commit 7896cff

Please sign in to comment.