Upgrade syn dependency to the latest version #4305
Conversation
Fixes compiling the standard library, and avoids pinning to a particular minor version. Resolves: model-checking#4303
There was a problem hiding this comment.
Which version of syn do we want to upgrade to? AFAIK, the change in this PR wouldn't affect the version used since "2.0.72" essentially means >= 2.0.72 (see Version requirement syntax). For example, this mornings automatic cargo update upgraded the syn version: https://github.com/model-checking/kani/pull/4302/files#diff-13ee4b2252c9e516a0547f2891aa2105c3ca71c6d7a1e682c69be97998dfc87eL2063.
Thank you, I had indeed misunderstood the version syntax. Closing as #4303 has indeed been fixed by #4302. |
Fixes compiling the standard library, and avoids pinning to a particular minor version.
Resolves: #4303
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.