search

rust-lang / nomicon

The Dark Arts of Advanced and Unsafe Rust Programming
https://doc.rust-lang.org/nomicon/
Apache License 2.0
1.74k stars 256 forks source link

typo: probably #429

Closed krystian-wojtas closed 8 months ago

ehuss commented 8 months ago

Thanks for the PR! I believe the original is correct. It is saying that the compiler will automatically implement those traits when it can prove that it is safe using the rules of the language to generate the proof.

JohnTitor commented 8 months ago

Yeah, it should be prove+ably, closing as wontfix. Thanks for the PR anyway!