| A type or lifetime parameter has been declared but is not actually used. |
| |
| Erroneous code example: |
| |
| ```compile_fail,E0392 |
| enum Foo<T> { |
| Bar, |
| } |
| ``` |
| |
| 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, |
| } |
| ``` |
| |
| Alternatively, if the type parameter was intentionally inserted, it must be |
| used. A simple fix is shown below: |
| |
| ``` |
| enum Foo<T> { |
| Bar(T), |
| } |
| ``` |
| |
| 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: |
| |
| ```compile_fail,E0392 |
| 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. |
| |
| [PhantomData]: https://doc.rust-lang.org/std/marker/struct.PhantomData.html |