diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-09 17:16:17 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-09 17:16:17 -0800 |
commit | 01d53a0aea8a62b93f9b6dc04d0565d1a59419ce (patch) | |
tree | 0a15f7be7542af654debddaaf57e89010c273b97 /test/files/run/t7319.check | |
parent | 73784d78fdbd4feb07a8446a8336dd203c1be866 (diff) | |
parent | 1cf1bae75db5f178026f6602e9a062484fa73a86 (diff) | |
download | scala-01d53a0aea8a62b93f9b6dc04d0565d1a59419ce.tar.gz scala-01d53a0aea8a62b93f9b6dc04d0565d1a59419ce.tar.bz2 scala-01d53a0aea8a62b93f9b6dc04d0565d1a59419ce.zip |
Merge pull request #3484 from retronym/ticket/8237
SI-8237 Avoid cyclic constraints when inferring hk type args
Diffstat (limited to 'test/files/run/t7319.check')
-rw-r--r-- | test/files/run/t7319.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/t7319.check b/test/files/run/t7319.check index d03ee3a6cf..b7443aa0c4 100644 --- a/test/files/run/t7319.check +++ b/test/files/run/t7319.check @@ -21,7 +21,7 @@ scala> convert(Some[Int](0)) --- because --- argument expression's type is not compatible with formal parameter type; found : Some[Int] - required: ?F forSome { type _$1 <: ?F forSome { type _$2 } } + required: ?F[_$1] forSome { type _$1 <: ?F[_$2] forSome { type _$2 } } convert(Some[Int](0)) ^ <console>:12: error: type mismatch; |