]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #75485 - RalfJung:pin, r=nagisa
authorTyler Mandry <tmandry@gmail.com>
Sun, 16 Aug 2020 21:59:32 +0000 (14:59 -0700)
committerGitHub <noreply@github.com>
Sun, 16 Aug 2020 21:59:32 +0000 (14:59 -0700)
commit8ba56afcc6864d9ba7ffeb5988ad7257143fde8f
treeb2f193c2fcaf6a1ef943ab0267fe9834540dc702
parent18e3799dc8818dda7852b11ea9026aa24e7bf4c2
parent7aac3e0400d29c79623e7fefb43f17b6a765a326
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?