diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-10-18 10:41:48 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-18 10:41:48 -0700 |
commit | af41493ea423fa49e26c3e57ad5b4adc5f20237d (patch) | |
tree | 55193808f0540136908729a678338c16a4b1f936 /test/files/neg/t2712-1.check | |
parent | 9f7c26e8ccc809c48484921f87b52eb56b978dcf (diff) | |
parent | 9e2b10fc02a60a8e24c38a8f0e52b5196c47145f (diff) | |
download | scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.tar.gz scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.tar.bz2 scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.zip |
Merge pull request #5343 from milessabin/topic/si-2712-backport
SI-2712 Add support for higher order unification
Diffstat (limited to 'test/files/neg/t2712-1.check')
-rw-r--r-- | test/files/neg/t2712-1.check | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/t2712-1.check b/test/files/neg/t2712-1.check new file mode 100644 index 0000000000..61e4b6b149 --- /dev/null +++ b/test/files/neg/t2712-1.check @@ -0,0 +1,13 @@ +t2712-1.scala:7: error: no type parameters for method foo: (m: M[A])Unit exist so that it can be applied to arguments (test.Two[Int,String]) + --- because --- +argument expression's type is not compatible with formal parameter type; + found : test.Two[Int,String] + required: ?M[?A] + def test(ma: Two[Int, String]) = foo(ma) // should fail with -Ypartial-unification *disabled* + ^ +t2712-1.scala:7: error: type mismatch; + found : test.Two[Int,String] + required: M[A] + def test(ma: Two[Int, String]) = foo(ma) // should fail with -Ypartial-unification *disabled* + ^ +two errors found |