From df42072c399021ac5efd181e5951a2fbf915f9ea Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Thu, 23 Nov 2017 00:54:01 +0100
Subject: [PATCH] -Xverify-signatures: emit errors, not warnings

Otherwise the tests will still succeed.
---
 .../src/dotty/tools/backend/jvm/DottyBackendInterface.scala   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala b/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
index 9f49d7fd09a7..e1960f3122f3 100644
--- a/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
+++ b/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
@@ -522,8 +522,8 @@ class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Ma
       }
     }
 
-    if(!valid) {
-      ctx.warning(
+    if (!valid) {
+      ctx.error(
         i"""|compiler bug: created invalid generic signature for $sym in ${sym.denot.owner.showFullName}
             |signature: $sig
             |if this is reproducible, please report bug at https://github.com/lampepfl/dotty/issues