rust
/
nomicon
mirror of https://github.com/rust-lang/nomicon
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #177 from petertodd/2019-12-long-live-contravariance

Browse Source 
Remove mention of contravariance possibly getting scrapped
pull/180/head
matthewjasper 6 years ago committed by GitHub
parent 8be35b201f ce08025be2
commit 3e6e1001dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File

4
src/phantom-data.md
Unescape View File

@ -96,9 +96,7 @@ Here’s a table of all the wonderful ways `PhantomData` could be used:
| `PhantomData<&'a mut T>` | variant | invariant | | `PhantomData<&'a mut T>` | variant | invariant |
| `PhantomData<*const T>` | - | variant | | `PhantomData<*const T>` | - | variant |
| `PhantomData<*mut T>` | - | invariant | | `PhantomData<*mut T>` | - | invariant |
| `PhantomData<fn(T)>` | - | contravariant (*) | | `PhantomData<fn(T)>` | - | contravariant |
| `PhantomData<fn() -> T>` | - | variant | | `PhantomData<fn() -> T>` | - | variant |
| `PhantomData<fn(T) -> T>` | - | invariant | | `PhantomData<fn(T) -> T>` | - | invariant |
| `PhantomData<Cell<&'a ()>>` | invariant | - | | `PhantomData<Cell<&'a ()>>` | invariant | - |
(*) If contravariance gets scrapped, this would be invariant.

Write Preview
Loading…
Cancel
Save