Merge pull request #874 from Kimundi/patch-1

Add an extra fn() entry to the variance table in the subtyping chapter
2021-02-22 22:09:17 -08:00 · 2021-02-22 22:09:17 -08:00 · 3b6fe80c20
parent c0d111a33e 971d500a60
commit 3b6fe80c20
1 changed files with 1 additions and 0 deletions
--- a/src/subtyping.md
+++ b/src/subtyping.md
@ -61,6 +61,7 @@ Variance of types is automatically determined as follows
 | `[T]` and `[T; n]`            |                   | covariant         |
 | `fn() -> T`                   |                   | covariant         |
 | `fn(T) -> ()`                 |                   | contravariant     |
+| `fn(T) -> T`                  |                   | invariant         |
 | `std::cell::UnsafeCell<T>`    |                   | invariant         |
 | `std::marker::PhantomData<T>` |                   | covariant         |
 | `dyn Trait<T> + 'a`           | covariant         | invariant         |