File tree Expand file tree Collapse file tree 1 file changed +8
-11
lines changed
compiler/src/dotty/tools/dotc/core Expand file tree Collapse file tree 1 file changed +8
-11
lines changed Original file line number Diff line number Diff line change @@ -1227,19 +1227,16 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
12271227 val sym = tycon1.symbol
12281228
12291229 def byGadtBounds : Boolean =
1230- {
1231- sym.onGadtBounds { bounds1 =>
1232- inFrozenGadt { isSubType(bounds1.hi.applyIfParameterized(args1), tp2, approx.addLow) }
1233- }
1230+ sym.onGadtBounds { bounds1 =>
1231+ inFrozenGadt { isSubType(bounds1.hi.applyIfParameterized(args1), tp2, approx.addLow) }
12341232 } && { GADTused = true ; true }
12351233
1236- {
1237- ! sym.isClass && {
1238- defn.isCompiletimeAppliedType(sym) && compareCompiletimeAppliedType(tp1, tp2, fromBelow = false ) ||
1239- recur(tp1.superType, tp2) ||
1240- tryLiftedToThis1
1241- }
1242- } || byGadtBounds
1234+
1235+ ! sym.isClass && {
1236+ defn.isCompiletimeAppliedType(sym) && compareCompiletimeAppliedType(tp1, tp2, fromBelow = false ) ||
1237+ recur(tp1.superType, tp2) ||
1238+ tryLiftedToThis1
1239+ }|| byGadtBounds
12431240 case tycon1 : TypeProxy =>
12441241 recur(tp1.superType, tp2)
12451242 case _ =>
You can’t perform that action at this time.
0 commit comments