From 6038bac3513a834e67ab4074c2c7b03aac11b1b3 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Wed, 2 Oct 2013 17:21:55 +0200 Subject: blackbox restriction #2: can't guide type inference MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit When an application of a blackbox macro still has undetermined type parameters after Scala’s type inference algorithm has finished working, these type parameters are inferred forcedly, in exactly the same manner as type inference happens for normal methods. This makes it impossible for blackbox macros to influence type inference, prohibiting fundep materialization. --- test/files/run/t5923c.scala | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/run/t5923c.scala (limited to 'test/files/run/t5923c.scala') diff --git a/test/files/run/t5923c.scala b/test/files/run/t5923c.scala new file mode 100644 index 0000000000..956b256785 --- /dev/null +++ b/test/files/run/t5923c.scala @@ -0,0 +1,4 @@ +// see neg/macro-blackbox-fundep-materialization and run/macro-whitebox-fundep-materialization +object Test extends App { + // do nothing +} \ No newline at end of file -- cgit v1.2.3