Harden RefChecks

odersky · odersky · commit d0a2c74678cb · 2018-03-28T17:57:12.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
@@ -958,7 +958,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
`@@ -958,7 +958,7 @@ class RefChecks extends MiniPhase { thisPhase =>`
`958`	`958`	`checkAllOverrides(cls)`
`959`	`959`	`tree`
`960`	`960`	`} catch {`
`961`		`- case ex: MergeError =>`
	`961`	`+ case ex: TypeError =>`
`962`	`962`	`ctx.error(ex.getMessage, tree.pos)`
`963`	`963`	`tree`
`964`	`964`	`}`