about summary refs log tree commit diff
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2015-05-21 15:24:16 +0000
committerbors <bors@rust-lang.org>2015-05-21 15:24:16 +0000
commit59ba55ddbd4cfc1fb2bc627ed1e859000b7304db (patch)
treecc2c7995110c0973ff25fae2d2117e38c3507418
parentbc6318d2be4d9eb62af9170958fd48ef45e4a74e (diff)
parentd3ac395dcc6bb68b6ec1d1a8601d3b3c8b7bd372 (diff)
downloadrust-59ba55ddbd4cfc1fb2bc627ed1e859000b7304db.tar.gz
rust-59ba55ddbd4cfc1fb2bc627ed1e859000b7304db.zip
Auto merge of #25473 - doomrobo:patch-3, r=steveklabnik
Added `Deref` to the "Special Traits" section
-rw-r--r--src/doc/reference.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md
index 21e9be59ebb..0682c2003e3 100644
--- a/src/doc/reference.md
+++ b/src/doc/reference.md
@@ -3622,6 +3622,14 @@ The `Sized` trait indicates that the size of this type is known at compile-time.
 The `Drop` trait provides a destructor, to be run whenever a value of this type
 is to be destroyed.
 
+## The `Deref` trait
+
+The `Deref<Target = U>` trait allows a type to implicitly implement all the methods
+of the type `U`. When attempting to resolve a method call, the compiler will search
+the top-level type for the implementation of the called method. If no such method is
+found, `.deref()` is called and the compiler continues to search for the method
+implementation in the returned type `U`.
+
 # Memory model
 
 A Rust program's memory consists of a static set of *items* and a *heap*.