We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents c0d111a + 971d500 commit 3b6fe80Copy full SHA for 3b6fe80
src/subtyping.md
@@ -61,6 +61,7 @@ Variance of types is automatically determined as follows
61
| `[T]` and `[T; n]` | | covariant |
62
| `fn() -> T` | | covariant |
63
| `fn(T) -> ()` | | contravariant |
64
+| `fn(T) -> T` | | invariant |
65
| `std::cell::UnsafeCell<T>` | | invariant |
66
| `std::marker::PhantomData<T>` | | covariant |
67
| `dyn Trait<T> + 'a` | covariant | invariant |
0 commit comments