Rollup merge of #77181 - GuillaumeGomez:add-pointer-alias, r=jyn514,pickfire

RalfJung · web-flow · commit 0a19836a8118 · 2020-09-26T12:58:28.000+02:00
Add doc alias for pointer primitive
diff --git a/library/std/src/primitive_docs.rs b/library/std/src/primitive_docs.rs
@@ -384,6 +384,7 @@ mod prim_char {}
 #[stable(feature = "rust1", since = "1.0.0")]
 mod prim_unit {}
 
+#[doc(alias = "ptr")]
 #[doc(primitive = "pointer")]
 //
 /// Raw, unsafe pointers, `*const T`, and `*mut T`.
