aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/unpickleScala2
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/unpickleScala2')
-rw-r--r--src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala15
1 files changed, 3 insertions, 12 deletions
diff --git a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
index 457c8cfa6..ce03d7c6d 100644
--- a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
+++ b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
@@ -50,18 +50,9 @@ object Scala2Unpickler {
*/
def depoly(tp: Type, denot: SymDenotation)(implicit ctx: Context): Type = tp match {
case TempPolyType(tparams, restpe) =>
- if (denot.isAbstractType)
- restpe.LambdaAbstract(tparams) // bounds needed?
- else if (denot.isAliasType) {
- var err: Option[(String, Position)] = None
- val result = restpe.parameterizeWith(tparams)
- for ((msg, pos) <- err)
- ctx.warning(
- sm"""$msg
- |originally parsed type : ${tp.show}
- |will be approximated by: ${result.show}.
- |Proceed at own risk.""")
- result
+ if (denot.isType) {
+ assert(!denot.isClass)
+ restpe.LambdaAbstract(tparams)
}
else
PolyType.fromSymbols(tparams, restpe)