diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 9f742fcc2..5659ec9c6 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -150,6 +150,10 @@ class TypeApplications(val self: Type) extends AnyVal { NoType } + /** The base type including all type arguments of this type */ + final def baseTypeWithArgs(base: Symbol)(implicit ctx: Context): Type = + self.baseType(base).appliedTo(baseTypeArgs(base)) + /** Translate a type of the form From[T] to To[T], keep other types as they are. * `from` and `to` must be static classes, both with one type parameter, and the same variance. */ |