search

verus-lang / verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)
Apache License 2.0
10 stars 4 forks source link

unknown feature `proc_macro_span_shrink`, and I fixed it. #21

Open planetoryd opened 1 year ago

planetoryd commented 1 year ago

For documentation and whoever met with this issue, the fix is cargo update -p proc-macro2

   Compiling text-size v1.1.0
error[E0635]: unknown feature `proc_macro_span_shrink`
  --> /home/hash/.cargo/registry/src/index.crates.io-6f17d22bba15001f/proc-macro2-1.0.56/src/lib.rs:92:30
   |
92 |     feature(proc_macro_span, proc_macro_span_shrink)
   |                              ^^^^^^^^^^^^^^^^^^^^^^

   Compiling always-assert v0.1.3
   Compiling unic-ucd-version v0.9.0
   Compiling itertools v0.10.5
   Compiling unic-char-property v0.9.0
   Compiling smol_str v0.2.0
   Compiling la-arena v0.3.0 (/space/verus-analyzer/lib/la-arena)
For more information about this error, try `rustc --explain E0635`.
error: could not compile `proc-macro2` (lib) due to previous error