diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2013-10-02 17:22:07 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-11-12 18:40:01 -0800 |
| commit | 0d5c2f76ea30c6a45471dac635f035e931075453 (patch) | |
| tree | 15f477eb256a65f2d260b940f1a3c9bed113a3db /test/files/neg/macro-blackbox-fundep-materialization.check | |
| parent | 6038bac3513a834e67ab4074c2c7b03aac11b1b3 (diff) | |
| download | scala-0d5c2f76ea30c6a45471dac635f035e931075453.tar.gz scala-0d5c2f76ea30c6a45471dac635f035e931075453.tar.bz2 scala-0d5c2f76ea30c6a45471dac635f035e931075453.zip | |
blackbox restriction #3: can't affect implicit search
When an application of a blackbox macro is used as an implicit candidate,
no expansion is performed until the macro is selected as the result of
the implicit search.
This makes it impossible to dynamically calculate availability of
implicit macros.
Diffstat (limited to 'test/files/neg/macro-blackbox-fundep-materialization.check')
| -rw-r--r-- | test/files/neg/macro-blackbox-fundep-materialization.check | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/test/files/neg/macro-blackbox-fundep-materialization.check b/test/files/neg/macro-blackbox-fundep-materialization.check index a5a9b9a206..3c03064a2d 100644 --- a/test/files/neg/macro-blackbox-fundep-materialization.check +++ b/test/files/neg/macro-blackbox-fundep-materialization.check @@ -1,12 +1,8 @@ -Test_2.scala:7: Iso.materializeIso is not a valid implicit value for Iso[Test.Foo,L] because: -hasMatchingSymbol reported error: type mismatch; +Test_2.scala:7: error: type mismatch; found : Iso[Test.Foo,(Int, String, Boolean)] required: Iso[Test.Foo,Nothing] Note: (Int, String, Boolean) >: Nothing, but trait Iso is invariant in type U. You may wish to define U as -U instead. (SLS 4.5) val equiv = foo(Foo(23, "foo", true)) ^ -Test_2.scala:7: error: could not find implicit value for parameter iso: Iso[Test.Foo,L] - val equiv = foo(Foo(23, "foo", true)) - ^ one error found |