Restrict refinement bounds checking to type refinements

odersky · odersky · commit 3f3f1ba4e0a9 · 2018-03-19T22:30:05.000+01:00
Analogously to what we do for members that have symbols.
diff --git a/compiler/src/dotty/tools/dotc/core/CheckRealizable.scala b/compiler/src/dotty/tools/dotc/core/CheckRealizable.scala
@@ -126,6 +126,7 @@ class CheckRealizable(implicit ctx: Context) {
     val refinementProblems =
       for {
         name <- refinedNames(tp)
+        if (name.isTypeName)
         mbr <- tp.member(name).alternatives
         if !(mbr.info.loBound <:< mbr.info.hiBound)
       }

Original file line number	Diff line number	Diff line change
`@@ -126,6 +126,7 @@ class CheckRealizable(implicit ctx: Context) {`
`126`	`126`	`val refinementProblems =`
`127`	`127`	`for {`
`128`	`128`	`name <- refinedNames(tp)`
	`129`	`+ if (name.isTypeName)`
`129`	`130`	`mbr <- tp.member(name).alternatives`
`130`	`131`	`if !(mbr.info.loBound <:< mbr.info.hiBound)`
`131`	`132`	`}`