diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-08-19 15:54:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-19 15:54:26 +0900 |
| commit | 1f4f31785ec77b85eefd8f7e6e405353662af3be (patch) | |
| tree | 9fce7439b5d6b917e3b8b057c786062a1398cbfb /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | 17d3ce457fa3aa29546ace82d7ebb32b3541d5e4 (diff) | |
| parent | 522d177f34e683b16d3548446aa3ff7ddd2c531c (diff) | |
| download | rust-1f4f31785ec77b85eefd8f7e6e405353662af3be.tar.gz rust-1f4f31785ec77b85eefd8f7e6e405353662af3be.zip | |
Rollup merge of #75049 - janriemer:patch-1, r=poliorcetics
docs(marker/copy): provide example for `&T` being `Copy` ### Edited 2020-08-16 (most recent) In the current documentation about the `Copy` marker trait, there is a section with examples of structs that can implement `Copy`. Currently there is no example for showing that shared references (`&T`) are also `Copy`. It is worth to have a dedicated example for `&T` being `Copy`, because shared references are an integral part of the language and it being `Copy` is not as intuitive as other types that share this behaviour like `i32` or `bool`. The example picks up on the previous non-`Copy` struct and shows that structs can be `Copy`, even when they hold a shared reference to a non-`Copy` type. ----------------------------------------- ### Edited 2020-08-02, 3:28 p.m. I've just realized that it says "in addition to the **implementors listed below**", which makes this PR kind of "wrong", because `&T` is indeed in the "implementors listed below". Maybe we can instead show an example with `&T` in the [When can my type be Copy](https://doc.rust-lang.org/std/marker/trait.Copy.html#when-can-my-type-be-copy) section. What I really want to achieve is that it becomes more obvious that `&T` is also `Copy`, because, I think, it is very valuable to know and it wasn't obvious for me, until I read something about it in a forum post. What do you think? I would create another PR for that. **Please feel free to close this PR.** ----------------------------------- ### Original post In the current documentation about the `Copy` marker trait, there is a section about "additional implementors", which list additional implementors of the `Copy` trait. The fact that shared references are also `Copy` is mixed with another point, which makes it hard to recognize and make it seem not as important. This clarifies the fact that shared references are also `Copy`, by mentioning it as a separate item in the list of "additional implementors".
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions
