diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index bc8d7dfd2..4d26a6735 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -96,7 +96,7 @@ object Types { else thissym eq sym case this1: RefinedType => // make sure all refinements are type arguments - this1.parent.isRef(sym) && this.typeArgs.nonEmpty + this1.parent.isRef(sym) && this.argInfos.nonEmpty case _ => false } |