From c539ae2f56fe9f565cffb4afd6ab131bda89acb7 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Sat, 23 Feb 2013 13:40:14 +0100 Subject: SI-7167 implicit macros decide what is divergence This is a port of https://github.com/scala/scala/commit/8168f118c9 from 2.10.x, with an additional change to the `enclosingImplicits` and `openImplicits` APIs, which encapsulates tuples of `pt` and `tree` into `ImplicitCandidate`. --- test/files/neg/macro-divergence-controlled.check | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/neg/macro-divergence-controlled.check (limited to 'test/files/neg/macro-divergence-controlled.check') diff --git a/test/files/neg/macro-divergence-controlled.check b/test/files/neg/macro-divergence-controlled.check new file mode 100644 index 0000000000..4876f7cf96 --- /dev/null +++ b/test/files/neg/macro-divergence-controlled.check @@ -0,0 +1,4 @@ +Test_2.scala:2: error: could not find implicit value for parameter e: Complex[Foo] + println(implicitly[Complex[Foo]]) + ^ +one error found -- cgit v1.2.3