Repository navigation
Language FAQ is out of date #3386
Description
https://github.com/mozilla/rust/wiki/Doc-language-FAQ
The code example is clearly out of date. Didn't look if the rest of the FAQ needs updating too.
https://github.com/mozilla/rust/wiki/Doc-language-FAQ
The code example is clearly out of date. Didn't look if the rest of the FAQ needs updating too.
Activity
catamorphism commentedon Sep 4, 2012
I updated the code example and the obviously out-of-date things in the questions and answers. I didn't try compiling the code example, so I probably made a mistake. For now, though, I'm happier with the FAQ.
Auto merge of rust-lang#3386 - RalfJung:ci, r=RalfJung
Add two new CI workflows to check Kani against `verify-rust-std` (rus…