diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-05-02 21:25:15 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-05-11 14:52:26 -0400 |
| commit | 2490ee5080ef1810fc137c676f4906d65a407dde (patch) | |
| tree | 64fea4ada08cf0bb1e55fd0cb7ff7ac235596df2 /src/test/compile-fail/variance-covariant-arg-object.rs | |
| parent | a4151ff3c4179587e5601bb529543cf1de5e91d8 (diff) | |
| download | rust-2490ee5080ef1810fc137c676f4906d65a407dde.tar.gz rust-2490ee5080ef1810fc137c676f4906d65a407dde.zip | |
correct various error messages that changed
The new messages seem universally better. I think these result because we recognize that we are in an invariant context more often.
Diffstat (limited to 'src/test/compile-fail/variance-covariant-arg-object.rs')
| -rw-r--r-- | src/test/compile-fail/variance-covariant-arg-object.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/compile-fail/variance-covariant-arg-object.rs b/src/test/compile-fail/variance-covariant-arg-object.rs index 0e94e35df28..ad059a467f5 100644 --- a/src/test/compile-fail/variance-covariant-arg-object.rs +++ b/src/test/compile-fail/variance-covariant-arg-object.rs @@ -22,14 +22,14 @@ fn get_min_from_max<'min, 'max>(v: Box<Get<&'max i32>>) where 'max : 'min { // Previously OK, now an error as traits are invariant. - v //~ ERROR cannot infer an appropriate lifetime + v //~ ERROR mismatched types } fn get_max_from_min<'min, 'max, G>(v: Box<Get<&'min i32>>) -> Box<Get<&'max i32>> where 'max : 'min { - v //~ ERROR cannot infer an appropriate lifetime + v //~ ERROR mismatched types } fn main() { } |