diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-06-30 13:48:56 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-06-30 13:48:56 -0700 |
| commit | c8fbc41631da0a860f749479a610312814c0e88f (patch) | |
| tree | 4c9b6759469530454b95b3fd2ac600e1042941da /test/files/neg/t6895.check | |
| parent | 6ca8847eb5891fa610136c2c041cbad1298fb89c (diff) | |
| parent | 4a61719c1a3b57b47aa65409e83b87cff39145d3 (diff) | |
| download | scala-c8fbc41631da0a860f749479a610312814c0e88f.tar.gz scala-c8fbc41631da0a860f749479a610312814c0e88f.tar.bz2 scala-c8fbc41631da0a860f749479a610312814c0e88f.zip | |
Merge pull request #4569 from retronym/ticket/6985
SI-6895 Test cases to explain the limitations in tcpoly inference
Diffstat (limited to 'test/files/neg/t6895.check')
| -rw-r--r-- | test/files/neg/t6895.check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/neg/t6895.check b/test/files/neg/t6895.check new file mode 100644 index 0000000000..df01031fff --- /dev/null +++ b/test/files/neg/t6895.check @@ -0,0 +1,6 @@ +t6895.scala:19: error: polymorphic expression cannot be instantiated to expected type; + found : [F3[F3_P]]Foo[F3] + required: Foo[[X3]Bar[[X1]String]] + val nok: Foo[({type L[X3] = Bar[M]})#L] = barFoo /* Type inference can't unify F with L */ + ^ +one error found |