Use ProblemInUnderlying consistently

Blaisorblade · Blaisorblade · commit f4358503910b · 2018-12-02T17:40:25.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/CheckRealizable.scala b/compiler/src/dotty/tools/dotc/core/CheckRealizable.scala
@@ -80,7 +80,7 @@ class CheckRealizable(implicit ctx: Context) {
             else realizability(tp.info).mapError(r => new ProblemInUnderlying(tp.info, r))
           r andAlso {
             sym.setFlag(Stable)
-            realizability(tp.prefix)
+            realizability(tp.prefix).mapError(r => new ProblemInUnderlying(tp.prefix, r))
           }
         }
       if (r == Realizable || tp.info.isStableRealizable) Realizable else r

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ class CheckRealizable(implicit ctx: Context) {`
`80`	`80`	`else realizability(tp.info).mapError(r => new ProblemInUnderlying(tp.info, r))`
`81`	`81`	`r andAlso {`
`82`	`82`	`sym.setFlag(Stable)`
`83`		`- realizability(tp.prefix)`
	`83`	`+ realizability(tp.prefix).mapError(r => new ProblemInUnderlying(tp.prefix, r))`
`84`	`84`	`}`
`85`	`85`	`}`
`86`	`86`	`if (r == Realizable \|\| tp.info.isStableRealizable) Realizable else r`