Merge pull request scala#3589 from xeno-by/topic/whitebox-typecheck-expecting-unit

test case that verifies SI-8352

Author: adriaanm

test/files/pos/t8352.check

@@ -0,0 +1,7 @@
+import scala.reflect.macros.whitebox._
+import scala.language.experimental.macros
+
+object Macros {
+  def impl(c: Context)(x: c.Expr[Boolean]): c.Expr[Boolean] = x
+  def foo(x: Boolean): Boolean = macro impl
+}

test/files/pos/t8352/Macros_1.scala

@@ -0,0 +1,5 @@
+object Test extends App {
+  def expectUnit() {
+    Macros.foo(true)
+  }
+}