Revert "default-true-update-check"

This reverts commit e8b73eb.
scala · Apr 7, 2021 · 1cf68a8 · 1cf68a8
1 parent e8b73eb
commit 1cf68a8
Show file tree

Hide file tree

Showing 57 changed files with 121 additions and 599 deletions.
diff --git a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala
@@ -507,7 +507,7 @@ trait ScalaSettings extends StandardScalaSettings with Warnings { _: MutableSett
     .withAbbreviation("-Yhot-statistics")
   val Yshowsyms       = BooleanSetting("-Vsymbols", "Print the AST symbol hierarchy after each phase.") withAbbreviation "-Yshow-syms"
   val Ytyperdebug        = BooleanSetting("-Vtyper", "Trace type assignments.") withAbbreviation "-Ytyper-debug"
-  val Vimplicits            = BooleanSetting("-Vimplicits", "Print dependent missing implicits.", true).withAbbreviation("-Xlog-implicits")
+  val Vimplicits            = BooleanSetting("-Vimplicits", "Print dependent missing implicits.").withAbbreviation("-Xlog-implicits")
   val VimplicitsVerboseTree = BooleanSetting("-Vimplicits-verbose-tree", "Display all intermediate implicits in a chain.")
   val VimplicitsMaxRefined  = IntSetting("-Vimplicits-max-refined", "max chars for printing refined types, abbreviate to `F {...}`", Int.MaxValue, Some((0, Int.MaxValue)), _ => None)
   val VtypeDiffs            = BooleanSetting("-Vtype-diffs", "Print found/required error messages as colored diffs.")

diff --git a/test/files/neg/classtags_contextbound_a.check b/test/files/neg/classtags_contextbound_a.check
@@ -1,7 +1,4 @@
-classtags_contextbound_a.scala:2: error: implicit error;
-!I evidence$5: ClassTag[T]
-  No ClassTag available for T
-
+classtags_contextbound_a.scala:2: error: No ClassTag available for T
   def foo[T] = Array[T]()
                        ^
 1 error
diff --git a/test/files/neg/classtags_contextbound_b.check b/test/files/neg/classtags_contextbound_b.check
@@ -1,7 +1,4 @@
-classtags_contextbound_b.scala:5: error: implicit error;
-!I evidence$1: ClassTag[T]
-  No ClassTag available for T
-
+classtags_contextbound_b.scala:5: error: No ClassTag available for T
   def foo[T] = mkArray[T]
                       ^
 1 error
diff --git a/test/files/neg/classtags_contextbound_c.check b/test/files/neg/classtags_contextbound_c.check
@@ -1,7 +1,4 @@
-classtags_contextbound_c.scala:4: error: implicit error;
-!I evidence$5: ClassTag[T]
-  No ClassTag available for T
-
+classtags_contextbound_c.scala:4: error: No ClassTag available for T
   def mkArray[T] = Array[T]()
                            ^
 1 error
diff --git a/test/files/neg/classtags_dont_use_typetags.check b/test/files/neg/classtags_dont_use_typetags.check
@@ -1,7 +1,4 @@
-classtags_dont_use_typetags.scala:4: error: implicit error;
-!I evidence$5: ClassTag[T]
-  No ClassTag available for T
-
+classtags_dont_use_typetags.scala:4: error: No ClassTag available for T
   def foo[T: TypeTag] = Array[T]()
                                 ^
 1 error
diff --git a/test/files/neg/implicits.check b/test/files/neg/implicits.check
@@ -13,8 +13,7 @@ implicits.scala:47: error: type mismatch;
  required: Mxml
                 case a => List(a)
                                ^
-implicits.scala:59: error: implicit error;
-!I x: Nothing
+implicits.scala:59: error: could not find implicit value for parameter x: Nothing
   foo {
       ^
 4 errors
diff --git a/test/files/neg/interop_abstypetags_arenot_classmanifests.check b/test/files/neg/interop_abstypetags_arenot_classmanifests.check
@@ -1,7 +1,4 @@
-interop_abstypetags_arenot_classmanifests.scala:6: error: implicit error;
-!I e: ClassTag[T]
-  No ClassManifest available for T.
-
+interop_abstypetags_arenot_classmanifests.scala:6: error: No ClassManifest available for T.
     println(implicitly[ClassManifest[T]])
                       ^
 1 error
diff --git a/test/files/neg/interop_abstypetags_arenot_classtags.check b/test/files/neg/interop_abstypetags_arenot_classtags.check
@@ -1,7 +1,4 @@
-interop_abstypetags_arenot_classtags.scala:6: error: implicit error;
-!I ctag: ClassTag[T]
-  No ClassTag available for T
-
+interop_abstypetags_arenot_classtags.scala:6: error: No ClassTag available for T
     println(classTag[T])
                     ^
 1 error
diff --git a/test/files/neg/interop_abstypetags_arenot_manifests.check b/test/files/neg/interop_abstypetags_arenot_manifests.check
@@ -1,7 +1,4 @@
-interop_abstypetags_arenot_manifests.scala:5: error: implicit error;
-!I m: Manifest[T]
-  No Manifest available for T.
-
+interop_abstypetags_arenot_manifests.scala:5: error: No Manifest available for T.
     println(manifest[T])
                     ^
 1 error
diff --git a/test/files/neg/interop_classmanifests_arenot_typetags.check b/test/files/neg/interop_classmanifests_arenot_typetags.check
@@ -1,7 +1,4 @@
-interop_classmanifests_arenot_typetags.scala:6: error: implicit error;
-!I e: TypeTag[T]
-  No TypeTag available for T
-
+interop_classmanifests_arenot_typetags.scala:6: error: No TypeTag available for T
     println(implicitly[TypeTag[T]])
                       ^
 1 error
diff --git a/test/files/neg/interop_classtags_arenot_manifests.check b/test/files/neg/interop_classtags_arenot_manifests.check
@@ -1,7 +1,4 @@
-interop_classtags_arenot_manifests.scala:5: error: implicit error;
-!I m: Manifest[T]
-  No Manifest available for T.
-
+interop_classtags_arenot_manifests.scala:5: error: No Manifest available for T.
     println(manifest[T])
                     ^
 1 error
diff --git a/test/files/neg/interop_typetags_arenot_classmanifests.check b/test/files/neg/interop_typetags_arenot_classmanifests.check
@@ -1,7 +1,4 @@
-interop_typetags_arenot_classmanifests.scala:6: error: implicit error;
-!I e: ClassTag[T]
-  No ClassManifest available for T.
-
+interop_typetags_arenot_classmanifests.scala:6: error: No ClassManifest available for T.
     println(implicitly[ClassManifest[T]])
                       ^
 1 error
diff --git a/test/files/neg/interop_typetags_arenot_classtags.check b/test/files/neg/interop_typetags_arenot_classtags.check
@@ -1,7 +1,4 @@
-interop_typetags_arenot_classtags.scala:6: error: implicit error;
-!I ctag: ClassTag[T]
-  No ClassTag available for T
-
+interop_typetags_arenot_classtags.scala:6: error: No ClassTag available for T
     println(classTag[T])
                     ^
 1 error
diff --git a/test/files/neg/leibniz-liskov.check b/test/files/neg/leibniz-liskov.check
@@ -1,37 +1,19 @@
-leibniz-liskov.scala:7: error: implicit error;
-!I e: A =:= B
-  Cannot prove that LeibnizLiskov.this.A =:= LeibnizLiskov.this.B.
-
+leibniz-liskov.scala:7: error: Cannot prove that LeibnizLiskov.this.A =:= LeibnizLiskov.this.B.
   implicitly[A =:= B]
             ^
-leibniz-liskov.scala:8: error: implicit error;
-!I e: B =:= A
-  Cannot prove that LeibnizLiskov.this.B =:= LeibnizLiskov.this.A.
-
+leibniz-liskov.scala:8: error: Cannot prove that LeibnizLiskov.this.B =:= LeibnizLiskov.this.A.
   implicitly[B =:= A]
             ^
-leibniz-liskov.scala:11: error: implicit error;
-!I e: A <:< SA
-  Cannot prove that LeibnizLiskov.this.A <:< LeibnizLiskov.this.SA.
-
+leibniz-liskov.scala:11: error: Cannot prove that LeibnizLiskov.this.A <:< LeibnizLiskov.this.SA.
   implicitly[A <:< SA]
             ^
-leibniz-liskov.scala:12: error: implicit error;
-!I e: SB <:< B
-  Cannot prove that LeibnizLiskov.this.SB <:< LeibnizLiskov.this.B.
-
+leibniz-liskov.scala:12: error: Cannot prove that LeibnizLiskov.this.SB <:< LeibnizLiskov.this.B.
   implicitly[SB <:< B]
             ^
-leibniz-liskov.scala:13: error: implicit error;
-!I e: SA <:< B
-  Cannot prove that LeibnizLiskov.this.SA <:< LeibnizLiskov.this.B.
-
+leibniz-liskov.scala:13: error: Cannot prove that LeibnizLiskov.this.SA <:< LeibnizLiskov.this.B.
   implicitly[SA <:< B]
             ^
-leibniz-liskov.scala:14: error: implicit error;
-!I e: A <:< SB
-  Cannot prove that LeibnizLiskov.this.A <:< LeibnizLiskov.this.SB.
-
+leibniz-liskov.scala:14: error: Cannot prove that LeibnizLiskov.this.A <:< LeibnizLiskov.this.SB.
   implicitly[A <:< SB]
             ^
 leibniz-liskov.scala:18: error: no type parameters for method substituteCo: (ff: F[LeibnizLiskov.this.A]): F[LeibnizLiskov.this.B] exist so that it can be applied to arguments (List[LeibnizLiskov.this.B])
@@ -58,10 +40,7 @@ leibniz-liskov.scala:19: error: type mismatch;
  required: F[LeibnizLiskov.this.B]
   aEqB.substituteContra(List(A(), A(), A()))
                             ^
-leibniz-liskov.scala:20: error: implicit error;
-!I e: xs.type <:< List[B]
-  Cannot prove that xs.type <:< List[LeibnizLiskov.this.B].
-
+leibniz-liskov.scala:20: error: Cannot prove that xs.type <:< List[LeibnizLiskov.this.B].
   locally { val xs = aEqB.flip.liftCo[List](List(B(), B(), B())); implicitly[xs.type <:< List[B]] }
                                                                             ^
 leibniz-liskov.scala:21: error: no type parameters for method substituteContra: (ft: F[U]): F[T] exist so that it can be applied to arguments (List[T])

diff --git a/test/files/neg/literate_existentials.check b/test/files/neg/literate_existentials.check
@@ -1,7 +1,4 @@
-literate_existentials.scala:189: error: implicit error;
-!I e: Int <:< M
-  Cannot prove that Int <:< M forSome { type M <: String }.
-
+literate_existentials.scala:189: error: Cannot prove that Int <:< M forSome { type M <: String }.
   implicitly[Int <:< (M forSome { type M >: Nothing <: String })] // fails
             ^
 1 error
diff --git a/test/files/neg/macro-cyclic.check b/test/files/neg/macro-cyclic.check
@@ -1,5 +1,4 @@
-Impls_Macros_1.scala:6: error: implicit error;
-!I e: SourceLocation
+Impls_Macros_1.scala:6: error: could not find implicit value for parameter e: SourceLocation
     c.universe.reify { implicitly[SourceLocation] }
                                  ^
 1 error
diff --git a/test/files/neg/macro-divergence-controlled.check b/test/files/neg/macro-divergence-controlled.check
@@ -1,5 +1,4 @@
-Test_2.scala:2: error: implicit error;
-!I e: Complex[Foo]
+Test_2.scala:2: error: could not find implicit value for parameter e: Complex[Foo]
   println(implicitly[Complex[Foo]])
                     ^
 1 error
diff --git a/test/files/neg/macro-reify-typetag-hktypeparams-notags.check b/test/files/neg/macro-reify-typetag-hktypeparams-notags.check
@@ -1,13 +1,7 @@
-Test.scala:5: error: implicit error;
-!I e: TypeTag[C[T]]
-  No TypeTag available for C[T]
-
+Test.scala:5: error: No TypeTag available for C[T]
     println(implicitly[TypeTag[C[T]]])
                       ^
-Test.scala:6: error: implicit error;
-!I e: TypeTag[List[C[T]]]
-  No TypeTag available for List[C[T]]
-
+Test.scala:6: error: No TypeTag available for List[C[T]]
     println(implicitly[TypeTag[List[C[T]]]])
                       ^
 2 errors
diff --git a/test/files/neg/macro-reify-typetag-typeparams-notags.check b/test/files/neg/macro-reify-typetag-typeparams-notags.check
@@ -1,13 +1,7 @@
-Test.scala:5: error: implicit error;
-!I e: TypeTag[T]
-  No TypeTag available for T
-
+Test.scala:5: error: No TypeTag available for T
     println(implicitly[TypeTag[T]])
                       ^
-Test.scala:6: error: implicit error;
-!I e: TypeTag[List[T]]
-  No TypeTag available for List[T]
-
+Test.scala:6: error: No TypeTag available for List[T]
     println(implicitly[TypeTag[List[T]]])
                       ^
 2 errors
diff --git a/test/files/neg/macro-reify-typetag-useabstypetag.check b/test/files/neg/macro-reify-typetag-useabstypetag.check
@@ -1,13 +1,7 @@
-Test.scala:5: error: implicit error;
-!I e: TypeTag[T]
-  No TypeTag available for T
-
+Test.scala:5: error: No TypeTag available for T
     println(implicitly[TypeTag[T]])
                       ^
-Test.scala:6: error: implicit error;
-!I e: TypeTag[List[T]]
-  No TypeTag available for List[T]
-
+Test.scala:6: error: No TypeTag available for List[T]
     println(implicitly[TypeTag[List[T]]])
                       ^
 2 errors
diff --git a/test/files/neg/missing-implicit.check b/test/files/neg/missing-implicit.check
@@ -1,61 +1,31 @@
-missing-implicit.scala:23: error: implicit error;
-!I e: TC[String] {type Int = <none>}
-   (foo)
-
+missing-implicit.scala:23: error: could not find implicit value for parameter e: TC[String]{type Int} (foo)
   implicitly[TC[String] { type Int}]
             ^
-missing-implicit.scala:24: error: implicit error;
-!I e: XC[String]
-  bar
-
+missing-implicit.scala:24: error: bar
   implicitly[XC[String]]
             ^
-missing-implicit.scala:25: error: implicit error;
-!I e: U
-   (nope)
-
+missing-implicit.scala:25: error: could not find implicit value for parameter e: U (nope)
   implicitly[U]
             ^
-missing-implicit.scala:26: error: implicit error;
-!I e: V
-  no way
-
+missing-implicit.scala:26: error: no way
   implicitly[V]
             ^
-missing-implicit.scala:31: error: implicit error;
-!I v: V
-  no way
-
+missing-implicit.scala:31: error: no way
   f
   ^
-missing-implicit.scala:32: error: implicit error;
-!I v: V
-  huh
-
+missing-implicit.scala:32: error: huh
   g
   ^
-missing-implicit.scala:49: error: implicit error;
-!I e: F[Int]
-  No F of Int
-
+missing-implicit.scala:49: error: No F of Int
   implicitly[F[Int]]
             ^
-missing-implicit.scala:50: error: implicit error;
-!I e: M[Int]
-   (No F of Int)
-
+missing-implicit.scala:50: error: could not find implicit value for parameter e: M[Int] (No F of Int)
   implicitly[M[Int]]
             ^
-missing-implicit.scala:51: error: implicit error;
-!I e: AX
-   (No F of String)
-
+missing-implicit.scala:51: error: could not find implicit value for parameter e: AX (No F of String)
   implicitly[AX]
             ^
-missing-implicit.scala:52: error: implicit error;
-!I e: X0
-   (Missing X3 of Char and Int and String)
-
+missing-implicit.scala:52: error: could not find implicit value for parameter e: X0 (Missing X3 of Char and Int and String)
   implicitly[X0]
             ^
 10 errors