diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparers.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparers.scala b/src/dotty/tools/dotc/core/TypeComparers.scala index be4c0b99c..5c32432d7 100644 --- a/src/dotty/tools/dotc/core/TypeComparers.scala +++ b/src/dotty/tools/dotc/core/TypeComparers.scala @@ -77,7 +77,7 @@ object TypeComparers { || tp1.name == tp2.name && isSubType(pre1, pre2) && - (sym2.isAbstractType || isSubType(pre2, pre1)) // ??? + (sym2.info.isRealTypeBounds || isSubType(pre2, pre1)) // ??? || (sym2.isClass) && { val base = tp1.baseType(sym2) |