Skip to content

Commit

Permalink
Update toolchain
Browse files Browse the repository at this point in the history
  • Loading branch information
nilehmann committed May 21, 2024
1 parent 238fb71 commit ed9bcc2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion crates/flux-middle/src/const_eval.rs
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ fn scalar_to_bits<'tcx>(
.layout_of(ParamEnv::empty().with_reveal_all_normalized(tcx).and(ty))
.unwrap()
.size;
scalar.to_bits(size).ok()
scalar.try_to_bits(size).ok()
}

fn scalar_to_int<'tcx>(
Expand Down
2 changes: 1 addition & 1 deletion rust-toolchain
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
[toolchain]
channel = "nightly-2024-04-17"
channel = "nightly-2024-04-21"
components = ["rust-src", "rustc-dev", "llvm-tools", "rustfmt"]

0 comments on commit ed9bcc2

Please sign in to comment.