Harden RefChecks

odersky · Blaisorblade · commit d1e5d40924da · 2018-08-16T12:06:19.000+02:00
I had a TypeError crash in refchecks after screwing up a typeclass encoding in a particularly bad way.
This commit reports an error instead.
diff --git a/compiler/src/dotty/tools/dotc/typer/RefChecks.scala b/compiler/src/dotty/tools/dotc/typer/RefChecks.scala
@@ -963,7 +963,7 @@ class RefChecks extends MiniPhase { thisPhase =>
     checkAllOverrides(cls)
     tree
   } catch {
-    case ex: MergeError =>
+    case ex: TypeError =>
       ctx.error(ex.getMessage, tree.pos)
       tree
   }

Original file line number	Diff line number	Diff line change
`@@ -963,7 +963,7 @@ class RefChecks extends MiniPhase { thisPhase =>`
`963`	`963`	`checkAllOverrides(cls)`
`964`	`964`	`tree`
`965`	`965`	`} catch {`
`966`		`- case ex: MergeError =>`
	`966`	`+ case ex: TypeError =>`
`967`	`967`	`ctx.error(ex.getMessage, tree.pos)`
`968`	`968`	`tree`
`969`	`969`	`}`