diff options
| author | Jake Kerr <kodafox@gmail.com> | 2014-02-10 20:26:09 +0900 |
|---|---|---|
| committer | Jake Kerr <kodafox@gmail.com> | 2014-02-10 20:26:09 +0900 |
| commit | 266b7e0f71a1992d0120598b975fe21a2f39f288 (patch) | |
| tree | 84045bd2845a0743231445be9f5578811219dff3 /src/test | |
| parent | d440a569bb34ef31af7eff26105a115120a85e80 (diff) | |
Update comment in contravariant test
The previous definition was actually describing covariance. Fixing to describe contravariance while keeping 'static in the definition was tricky so just changed to use 'short and 'long.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/regions-variance-contravariant-use-covariant.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/compile-fail/regions-variance-contravariant-use-covariant.rs b/src/test/compile-fail/regions-variance-contravariant-use-covariant.rs index 3f0161d9deb..0fab8926460 100644 --- a/src/test/compile-fail/regions-variance-contravariant-use-covariant.rs +++ b/src/test/compile-fail/regions-variance-contravariant-use-covariant.rs @@ -15,8 +15,8 @@ // variance inference works in the first place. // This is contravariant with respect to 'a, meaning that -// Contravariant<'foo> <: Contravariant<'static> because -// 'foo <= 'static +// Contravariant<'long> <: Contravariant<'short> iff +// 'short <= 'long struct Contravariant<'a> { f: &'a int } |
