Harden RefChecks

odersky · odersky · commit f7b08b647d8b · 2018-12-05T09:21:38.000+01: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
@@ -979,7 +979,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
`@@ -979,7 +979,7 @@ class RefChecks extends MiniPhase { thisPhase =>`
`979`	`979`	`checkAllOverrides(cls)`
`980`	`980`	`tree`
`981`	`981`	`} catch {`
`982`		`- case ex: MergeError =>`
	`982`	`+ case ex: TypeError =>`
`983`	`983`	`ctx.error(ex.getMessage, tree.pos)`
`984`	`984`	`tree`
`985`	`985`	`}`