diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2020-08-16 14:59:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-16 14:59:32 -0700 |
| commit | 8ba56afcc6864d9ba7ffeb5988ad7257143fde8f (patch) | |
| tree | b2f193c2fcaf6a1ef943ab0267fe9834540dc702 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 18e3799dc8818dda7852b11ea9026aa24e7bf4c2 (diff) | |
| parent | 7aac3e0400d29c79623e7fefb43f17b6a765a326 (diff) | |
| download | rust-8ba56afcc6864d9ba7ffeb5988ad7257143fde8f.tar.gz rust-8ba56afcc6864d9ba7ffeb5988ad7257143fde8f.zip | |
Rollup merge of #75485 - RalfJung:pin, r=nagisa
pin docs: add some forward references @nagisa had some questions about pinning that were answered in the docs, which they did not realize because that discussion is below the examples. I still think it makes sense to introduce the examples before that discussion, since it give the discussion something concrete to refer to, but this PR adds some forward references so people don't think the examples conclude the docs. @nagisa do you think this would have helped?
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions