diff options
| -rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 3 | ||||
| -rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index cb83b73f3d..0e176170f8 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -1024,5 +1024,8 @@ trait Types { def appliedType(tycon: Type, args: Type*): Type /** @see [[appliedType]] */ + def appliedType(sym: Symbol, args: List[Type]): Type + + /** @see [[appliedType]] */ def appliedType(sym: Symbol, args: Type*): Type } diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index b18723bc8a..089684413d 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -3559,6 +3559,9 @@ trait Types def appliedType(tycon: Type, args: Type*): Type = appliedType(tycon, args.toList) + def appliedType(tyconSym: Symbol, args: List[Type]): Type = + appliedType(tyconSym.typeConstructor, args) + /** Very convenient. */ def appliedType(tyconSym: Symbol, args: Type*): Type = appliedType(tyconSym.typeConstructor, args.toList) |