[mm0-rs] Use of 'let...else' prevent cargo to compile

digama0 / mm0

Metamath Zero specification language

Creative Commons Zero v1.0 Universal

306 stars 40 forks source link

[mm0-rs] Use of 'let...else' prevent cargo to compile #117

Closed Sylvain78 closed 1 year ago

Sylvain78 commented 1 year ago

I got many erros : error[E0658]: let...else statements are unstable while compiling with cargo build --release

bjorn3 commented 1 year ago

Which rust version are you using? It has been stable since rust 1.65.

digama0 commented 1 year ago

Yes, rustup update stable should fix this issue. mm0-rs has an MSRV of latest stable (it's not a library so I don't see much point in not taking advantage of new rust features).