File tree Expand file tree Collapse file tree 1 file changed +6
-4
lines changed
compiler/src/dotty/tools/dotc/core Expand file tree Collapse file tree 1 file changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -146,16 +146,18 @@ class CheckRealizable(implicit ctx: Context) {
146
146
private def boundsRealizability (tp : Type ) = {
147
147
148
148
val memberProblems =
149
- for mbr <- tp.nonClassTypeMembers if ! (mbr.info.loBound <:< mbr.info.hiBound)
150
- yield new HasProblemBounds (mbr.name, mbr.info)
149
+ for {
150
+ mbr <- tp.nonClassTypeMembers
151
+ if ! (mbr.info.loBound <:< mbr.info.hiBound)
152
+ } yield new HasProblemBounds (mbr.name, mbr.info)
151
153
152
154
val refinementProblems =
153
- for
155
+ for {
154
156
name <- refinedNames(tp)
155
157
if (name.isTypeName)
156
158
mbr <- tp.member(name).alternatives
157
159
if ! (mbr.info.loBound <:< mbr.info.hiBound)
158
- yield new HasProblemBounds (name, mbr.info)
160
+ } yield new HasProblemBounds (name, mbr.info)
159
161
160
162
def baseTypeProblems (base : Type ) = base match {
161
163
case AndType (base1, base2) =>
You can’t perform that action at this time.
0 commit comments