Code

Fix smir crate and pin nightly#142

Code

Merged

nikomatsakis merged 3 commits intorust-lang:mainrust-lang/a-mir-formality:mainfrom oli-obk:smiroli-obk/a-mir-formality:smirCopy head branch name to clipboardOct 12, 2023

+4-6

Commits

Commits on Oct 9, 2023

• Don't need a nix script anymore, now that we don't use racked anymore

  oli-obk

  committed
  0691a66

• Use a specific nightly to avoid breakage from differing nightlies

  oli-obk

  committed
  08dfd62

• Fix the formality-smir crate

  oli-obk

  committed
  1be5634