Code

Update rust toolchain to 2022-12-11#2045

Code

Merged

zhassan-aws merged 11 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:toolchain-2022-12-11zhassan-aws/kani:toolchain-2022-12-11Copy head branch name to clipboard

Jan 20, 2023

Commits

Commits on Jan 20, 2023

• Update Rust toolchain to version `2022-12-04`

  

  adpaco-aws

  authored and

  zhassan-aws

  committed
  002bf43

  Copy full SHA for 002bf43

• Conform with changes to `GenericArg`

  

  adpaco-aws

  authored and

  zhassan-aws

  committed
  c736624

  Copy full SHA for c736624

• Conform with changes to `NestedMetaItem`

  

  adpaco-aws

  authored and

  zhassan-aws

  committed
  9be74af

  Copy full SHA for 9be74af

• Make new `ConstKind::Expr` return on reach visitor

  

  adpaco-aws

  authored and

  zhassan-aws

  committed
  d478071

  Copy full SHA for d478071

• Conform with changes to `Layout`

  

  adpaco-aws

  authored and

  zhassan-aws

  committed
  6aa0f70

  Copy full SHA for 6aa0f70

• Update rust toolchain version to 2022-12-11

  zhassan-aws

  committed
  40ec868

  Copy full SHA for 40ec868

• Update call to out_filename

  zhassan-aws

  committed
  3f97436

  Copy full SHA for 3f97436

• Two minor clippy fixes

  zhassan-aws

  committed
  1ed9238

  Copy full SHA for 1ed9238

• Another clippy fix

  zhassan-aws

  committed
  6365cd9

  Copy full SHA for 6365cd9

• Update path resolution code

  zhassan-aws

  committed
  5808b92

  Copy full SHA for 5808b92

• Merge branch 'main' into toolchain-2022-12-11

  zhassan-aws

  authored
  dff4d6a

  Copy full SHA for dff4d6a