Ensure unreported warning summaries are also emitted via sbt-bridge

The sbt-bridge uses a delegating reporter that overrides the base
implementation of `printSummary` and delegates to the sbt implementation.

However that implementation only provides summary reporting of warning
and error counts, and the _compiler_ is responsible for emitting any
summary diagnostics regarding unreported warnings.

This commit separates emitting those unreported warning summaries from
the base implementation of Reporter#printSummary so as not to be
overriden by the DelegatingReporter in sbt-bridge.

Author: griggt

compiler/src/dotty/tools/dotc/Run.scala

@@ -321,10 +321,11 @@ class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with Constraint
     compileSources(sources)
   }
 
-  /** Print summary; return # of errors encountered */
+  /** Print summary of warnings and errors encountered */
   def printSummary(): Unit = {
     printMaxConstraint()
     val r = runContext.reporter
+    r.summarizeUnreportedWarnings
     r.printSummary
   }
 

compiler/src/dotty/tools/dotc/reporting/Reporter.scala

@@ -207,11 +207,14 @@ abstract class Reporter extends interfaces.ReporterResult {
       b += countString(warningCount, "warning") + " found"
     if (errorCount > 0)
       b += countString(errorCount, "error") + " found"
-    for ((settingName, count) <- unreportedWarnings)
-      b += s"there were $count ${settingName.tail} warning(s); re-run with $settingName for details"
     b.mkString("\n")
   }
 
+  def summarizeUnreportedWarnings(using Context): Unit =
+    for (settingName, count) <- unreportedWarnings do
+      val msg = s"there were $count ${settingName.tail} warning(s); re-run with $settingName for details"
+      report(Warning(msg, NoSourcePosition))
+
   /** Print the summary of warnings and errors */
   def printSummary(using Context): Unit = {
     val s = summary

compiler/test-resources/repl/reset-command

@@ -1,5 +1,6 @@
 scala> def f(thread: Thread) = thread.stop()
 there were 1 deprecation warning(s); re-run with -deprecation for details
+1 warning found
 def f(thread: Thread): Unit
 
 scala>:reset -deprecation

compiler/test-resources/repl/settings-command

@@ -1,5 +1,6 @@
 scala> def f(thread: Thread) = thread.stop()
 there were 1 deprecation warning(s); re-run with -deprecation for details
+1 warning found
 def f(thread: Thread): Unit
 
 scala>:settings -deprecation foo.scala

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -33,7 +33,6 @@ class CompilationTests {
       compileFilesInDir("tests/pos-special/sourcepath/outer", defaultOptions.and("-sourcepath", "tests/pos-special/sourcepath")),
       compileFile("tests/pos-special/sourcepath/outer/nested/Test4.scala", defaultOptions.and("-sourcepath", "tests/pos-special/sourcepath")),
       compileFilesInDir("tests/pos-special/fatal-warnings", defaultOptions.and("-Xfatal-warnings", "-deprecation", "-feature")),
-      compileFile("tests/pos-special/avoid-warn-deprecation.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFilesInDir("tests/pos-special/spec-t5545", defaultOptions),
       compileFilesInDir("tests/pos-special/strawman-collections", allowDeepSubtypes),
       compileFilesInDir("tests/pos-special/isInstanceOf", allowDeepSubtypes.and("-Xfatal-warnings")),
@@ -141,6 +140,7 @@ class CompilationTests {
       compileFilesInDir("tests/neg-custom-args/no-experimental", defaultOptions.and("-Yno-experimental")),
       compileDir("tests/neg-custom-args/impl-conv", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileDir("tests/neg-custom-args/i13946", defaultOptions.and("-Xfatal-warnings", "-feature")),
+      compileFile("tests/neg-custom-args/avoid-warn-deprecation.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFile("tests/neg-custom-args/implicit-conversions.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFile("tests/neg-custom-args/implicit-conversions-old.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFile("tests/neg-custom-args/i3246.scala", scala2CompatMode),

sbt-test/compilerReporter/i14576/Test.scala

@@ -0,0 +1,17 @@
+// lampepfl/dotty#14576, Writer is in a separate file and not declared `open`
+//   under -source:future this requires -language:adhocExtensions
+class ExtWriter extends Writer
+
+class Text(val str: String)
+
+object Test:
+  // lampepfl/dotty#14500, requires implicitConversions feature
+  given Conversion[String, Text] = Text(_)
+  def f(x: Text) = println(x.str)
+  f("abc")
+
+  // private[this] and = _ are deprecated under -source:future
+  private[this] var x: AnyRef = _
+
+  // under -source:future, `_` is deprecated for wildcard arguments of types: use `?` instead
+  val xs: List[_] = Nil

sbt-test/compilerReporter/i14576/Writer.scala

@@ -0,0 +1 @@
+class Writer

sbt-test/compilerReporter/i14576/build.sbt

@@ -0,0 +1,38 @@
+import sbt.internal.util.ConsoleAppender
+
+scalaVersion := sys.props("plugin.scalaVersion")
+
+lazy val assertFeatureSummary = taskKey[Unit]("checks that feature warning summary is emitted")
+lazy val assertNoFeatureSummary = taskKey[Unit]("checks that no feature warning summary is emitted")
+lazy val assertDeprecationSummary = taskKey[Unit]("checks that deprecation warning summary is emitted")
+lazy val assertNoDeprecationSummary = taskKey[Unit]("checks that no deprecation warning summary is emitted")
+lazy val resetMessages = taskKey[Unit]("empties the messages list")
+
+lazy val root = (project in file("."))
+  .settings(
+    scalacOptions += "-source:future",
+    extraAppenders := { s => Seq(ConsoleAppender(FakePrintWriter)) },
+    assertFeatureSummary := {
+      assert {
+        FakePrintWriter.messages.exists(_.contains("there were 2 feature warning(s); re-run with -feature for details"))
+      }
+    },
+    assertNoFeatureSummary := {
+      assert {
+        FakePrintWriter.messages.forall(!_.contains("feature warning(s); re-run with -feature for details"))
+      }
+    },
+    assertDeprecationSummary := {
+      assert {
+        FakePrintWriter.messages.exists(_.contains("there were 3 deprecation warning(s); re-run with -deprecation for details"))
+      }
+    },
+    assertNoDeprecationSummary := {
+      assert {
+        FakePrintWriter.messages.forall(!_.contains("deprecation warning(s); re-run with -deprecation for details"))
+      }
+    },
+    resetMessages := {
+      FakePrintWriter.resetMessages
+    },
+  )

sbt-test/compilerReporter/i14576/project/FakePrintWriter.scala

@@ -0,0 +1,6 @@
+object FakePrintWriter extends java.io.PrintWriter("fake-print-writer") {
+  @volatile var messages = List.empty[String]
+  def resetMessages = messages = List.empty[String]
+  override def println(x: String): Unit = messages = x :: messages
+  override def print(x: String): Unit = messages = x :: messages
+}

sbt-test/compilerReporter/i14576/test

@@ -0,0 +1,19 @@
+> compile
+> assertFeatureSummary
+> assertDeprecationSummary
+
+> resetMessages
+
+> set scalacOptions += "-feature"
+> compile
+> assertNoFeatureSummary
+> assertDeprecationSummary
+
+> resetMessages
+
+> set scalacOptions += "-deprecation"
+> compile
+> assertNoFeatureSummary
+> assertNoDeprecationSummary
+
+> resetMessages

tests/init/pos/lazylist1.scala

@@ -1,3 +1,5 @@
+import scala.language.implicitConversions
+
 class LazyList[A]
 
 object LazyList {

tests/neg-custom-args/avoid-warn-deprecation.check

@@ -0,0 +1 @@
+there were 1 deprecation warning(s); re-run with -deprecation for details

tests/pos-special/avoid-warn-deprecation.scala renamed to tests/neg-custom-args/avoid-warn-deprecation.scala

@@ -6,3 +6,4 @@ object A {
 object B {
   A.foo
 }
+// nopos-error there were 1 deprecation warning(s); re-run with -deprecation for details

tests/neg-custom-args/conditionalWarnings.scala

@@ -11,4 +11,5 @@ object Test {
     // OK, since -feature warnings are not enabled.
     // The program compiles with final line
     // there were 1 feature warning(s); re-run with -feature for details
+    // nopos-error
 }

tests/neg-custom-args/fatal-warnings/i12253.check

@@ -6,3 +6,4 @@
 11 |     case extractors.InlinedLambda(_, Select(_, name)) => Expr(name) // error // error
    |                                      ^
    |                                      the type test for q1.reflect.Select cannot be checked at runtime
+there were 1 deprecation warning(s); re-run with -deprecation for details

tests/neg-custom-args/fatal-warnings/i12253.scala

@@ -25,4 +25,4 @@ object MacroUtils:
 
   end Extractors
 end MacroUtils
-
+// nopos-error

tests/neg-custom-args/i13838.check

@@ -24,3 +24,4 @@
    |     Larger values might make a very large search problem succeed.
    |
    | longer explanation available when compiling with `-explain`
+there were 1 feature warning(s); re-run with -feature for details