---

yaml
---
r: 220700
b: refs/heads/master
c: f78333e
h: refs/heads/master
v: v3

Author: AlisdairO

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: ea79264ee422362428e5bd943a07f42ca885580c
+refs/heads/master: f78333e052d0aee0387695de9e115f34802fd928
 refs/heads/snap-stage3: d4432b37378ec55450e06799f5344b4b0f4b94e0
 refs/heads/try: b53c0f93eedcdedd4fd89bccc5a3a09d1c5cd23e
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

trunk/src/librustc_typeck/diagnostics.rs

@@ -2112,38 +2112,63 @@ For more information see the [opt-in builtin traits RFC](https://github.com/rust
 "##,
 
 E0392: r##"
-This error indicates that a type parameter has been declared but not actually
-used.
-
-Here is an example that demonstrates the error:
+This error indicates that a type or lifetime parameter has been declared
+but not actually used.  Here is an example that demonstrates the error:
 
 ```
 enum Foo<T> {
     Bar
 }
 ```
 
-The first way to fix this error is by removing the type parameter, as
-shown below:
+If the type parameter was included by mistake, this error can be fixed
+by simply removing the type parameter, as shown below:
 
 ```
 enum Foo {
     Bar
 }
 ```
 
-The second method is to actually make use of the type parameter:
+Alternatively, if the type parameter was intentionally inserted, it must be
+used. A simple fix is shown below:
 
 ```
 enum Foo<T> {
     Bar(T)
 }
 ```
 
-See the 'Type Parameters' section of the reference for more details
-on this topic:
+This error may also commonly be found when working with unsafe code.  For
+example, when using raw pointers one may wish to specify the lifetime for
+which the pointed-at data is valid.  An initial attempt (below) causes this
+error:
+
+```
+struct Foo<'a, T> {
+    x: *const T
+}
+```
+
+We want to express the constraint that Foo should not outlive `'a`, because
+the data pointed to by `T` is only valid for that lifetime.  The problem is
+that there are no actual uses of `'a`.  It's possible to work around this
+by adding a PhantomData type to the struct, using it to tell the compiler
+to act as if the struct contained a borrowed reference `&'a T`:
+
+```
+use std::marker::PhantomData;
+
+struct Foo<'a, T: 'a> {
+    x: *const T,
+    phantom: PhantomData<&'a T>
+}
+```
+
+PhantomData can also be used to express information about unused type parameters.
+You can read more about it in the API documentation:
 
-http://doc.rust-lang.org/reference.html#type-parameters-1
+https://doc.rust-lang.org/std/marker/struct.PhantomData.html
 "##
 
 }