From 103b41c422ae69028c7c4f034e6e49c264fbfab7 Mon Sep 17 00:00:00 2001 From: Ryan Scheel Date: Sun, 6 May 2018 00:45:40 -0700 Subject: [PATCH] Remove note about maybe scrapping contravariance --- src/subtyping.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/subtyping.md b/src/subtyping.md index 17a5656..0dcaf65 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -46,8 +46,7 @@ subtyping of its outputs. There are two kinds of variance in Rust: (For those of you who are familiar with variance from other languages, what we refer to as "just" variance is in fact *covariance*. Rust has *contravariance* -for functions. The future of contravariance is uncertain and it may be -scrapped. For now, `fn(T)` is contravariant in `T`, which is used in matching +for functions. `fn(T)` is contravariant in `T`, which is used in matching methods in trait implementations to the trait definition. Traits don't have inferred variance, so `Fn(T)` is invariant in `T`).