Rust Toolchain Change Is Required to Build

leanprover / elan

The Lean version manager

Apache License 2.0

292 stars 34 forks source link

Closed surmeier closed 1 year ago

surmeier commented 1 year ago

Running cargo build on a newly cloned repository fails with:

error[E0635]: unknown feature proc_macro_span_shrink.

Forcing a specific toolchain by running:

rustup override set nightly-2023-06-15

fixes the issue.