diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-12 20:01:03 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-12 20:01:03 -0800 |
| commit | c0edf768912e07690cf904eabf1acb5b2eefbd5e (patch) | |
| tree | 4e3af4441ef920bd697b4faa4511486018e9de4d /test/files/neg | |
| parent | 9c4a6e3ed7624892f46948c1c0fb57d7d5b3346e (diff) | |
| parent | d5a1ea61871ad695c67a2165d0e569f304e63662 (diff) | |
| download | scala-c0edf768912e07690cf904eabf1acb5b2eefbd5e.tar.gz scala-c0edf768912e07690cf904eabf1acb5b2eefbd5e.tar.bz2 scala-c0edf768912e07690cf904eabf1acb5b2eefbd5e.zip | |
Merge pull request #3518 from adriaanm/t7753
SI-7753 InstantiateDependentMap narrows type of unstable args
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/t3873.check | 4 | ||||
| -rw-r--r-- | test/files/neg/t3873.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/t3873.check b/test/files/neg/t3873.check index 54d6abdf63..f9f413aeaf 100644 --- a/test/files/neg/t3873.check +++ b/test/files/neg/t3873.check @@ -1,6 +1,6 @@ t3873.scala:11: error: type mismatch; found : Test.a.B - required: a.B - wrongf(new A)(a.b) // should not compile -- TODO: improve error message? the "a" is ambiguous + required: a.B where val a: A + wrongf(new A)(a.b) // should not compile ^ one error found diff --git a/test/files/neg/t3873.scala b/test/files/neg/t3873.scala index e7815f0937..b27b4e9c9d 100644 --- a/test/files/neg/t3873.scala +++ b/test/files/neg/t3873.scala @@ -8,5 +8,5 @@ object Test { val a = new A wrongf(a)(a.b) - wrongf(new A)(a.b) // should not compile -- TODO: improve error message? the "a" is ambiguous + wrongf(new A)(a.b) // should not compile }
\ No newline at end of file |