scala
diff --git a/‎src/reflect/scala/reflect/internal/TreeInfo.scala
Lines changed: 1 addition & 0 deletions b/‎src/reflect/scala/reflect/internal/TreeInfo.scala
Lines changed: 1 addition & 0 deletions
diff --git a/‎test/files/neg/value-discard.scala
Lines changed: 35 additions & 0 deletions b/‎test/files/neg/value-discard.scala
Lines changed: 35 additions & 0 deletions
@@ -788,6 +788,7 @@ abstract class TreeInfo {
         case Apply(f, _)           => hasExplicitUnit(f)
         case TypeApply(f, _)       => hasExplicitUnit(f)
         case AppliedTypeTree(f, _) => hasExplicitUnit(f)
+        case Block(_, expr)        => hasExplicitUnit(expr)
         case _                     => false
       }
     }
 
@@ -25,3 +25,38 @@ final class UnusedTest {
 
   def u: Unit = f: Unit       // nowarn
 }
+
+class UnitAscription {
+  import scala.concurrent._, ExecutionContext.Implicits._
+
+  case class C(c: Int) {
+    def f(i: Int, j: Int = c) = i + j
+  }
+
+  def f(i: Int, j: Int = 27) = i + j
+
+  def g[A]: List[A] = Nil
+
+  def i: Int = 42
+
+  def `default arg is inline`: Unit =
+    f(i = 42): Unit // nowarn
+
+  def `default arg requires block`: Unit =
+    C(27).f(i = 42): Unit // nowarn
+
+  def `application requires implicit arg`: Unit =
+    Future(42): Unit // nowarn
+
+  def `application requires inferred type arg`: Unit =
+    g: Unit // nowarn
+
+  def `implicit selection from this`: Unit =
+    i: Unit // nowarn
+}
+
+object UnitAscription {
+  def g[A]: List[A] = Nil
+  def `application requires inferred type arg`: Unit =
+    g: Unit // nowarn UnitAscription.g
+}
Original file line number	Diff line number	Diff line change
`@@ -788,6 +788,7 @@ abstract class TreeInfo {`
`788`	`788`	`case Apply(f, _) => hasExplicitUnit(f)`
`789`	`789`	`case TypeApply(f, _) => hasExplicitUnit(f)`
`790`	`790`	`case AppliedTypeTree(f, _) => hasExplicitUnit(f)`
	`791`	`+ case Block(_, expr) => hasExplicitUnit(expr)`
`791`	`792`	`case _ => false`
`792`	`793`	`}`
`793`	`794`	`}`