Harden RefChecks

odersky · Blaisorblade · commit ceaecdac5e3d · 2018-04-05T14:37:02.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
@@ -960,7 +960,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
`@@ -960,7 +960,7 @@ class RefChecks extends MiniPhase { thisPhase =>`
`960`	`960`	`checkAllOverrides(cls)`
`961`	`961`	`tree`
`962`	`962`	`} catch {`
`963`		`- case ex: MergeError =>`
	`963`	`+ case ex: TypeError =>`
`964`	`964`	`ctx.error(ex.getMessage, tree.pos)`
`965`	`965`	`tree`
`966`	`966`	`}`