diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 7b76feb4d..8bda49c94 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -142,9 +142,10 @@ trait TypeOps { this: Context => def needsChecking(tp: Type, isPart: Boolean): Boolean = tp match { case tp: TypeRef => tp.info match { + case TypeAlias(alias) => + needsChecking(alias, isPart) case TypeBounds(lo, hi) => - if (lo eq hi) needsChecking(hi, isPart) - else isPart || tp.controlled(isVolatile(hi)) + isPart || tp.controlled(isVolatile(hi)) case _ => false } case tp: RefinedType => |