diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-17 14:58:27 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
| commit | 700e7ac6658a1d699502c94141091012d18519c4 (patch) | |
| tree | 9090f17234a618e5279c1b935072d2b2a9c05fe0 /compiler/src/dotty/tools/dotc/core/TypeErasure.scala | |
| parent | ec4282dd99814ceb5304c4e1bb57aa607edff8db (diff) | |
| download | dotty-700e7ac6658a1d699502c94141091012d18519c4.tar.gz dotty-700e7ac6658a1d699502c94141091012d18519c4.tar.bz2 dotty-700e7ac6658a1d699502c94141091012d18519c4.zip | |
replace derived{Method,Poly}Type with derivedLambdaType
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TypeErasure.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/TypeErasure.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala index 07d613c57..8ff0be9d7 100644 --- a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala +++ b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala @@ -176,7 +176,7 @@ object TypeErasure { val erase = erasureFn(isJava, semiEraseVCs, sym.isConstructor, wildcardOK = false) def eraseParamBounds(tp: PolyType): Type = - tp.derivedPolyType( + tp.derivedLambdaType( tp.paramNames, tp.paramNames map (Function.const(TypeBounds.upper(defn.ObjectType))), tp.resultType) if (defn.isPolymorphicAfterErasure(sym)) eraseParamBounds(sym.info.asInstanceOf[PolyType]) @@ -385,9 +385,9 @@ class TypeErasure(isJava: Boolean, semiEraseVCs: Boolean, isConstructor: Boolean val formals = tp.paramInfos.mapConserve(paramErasure) eraseResult(tp.resultType) match { case rt: MethodType => - tp.derivedMethodType(tp.paramNames ++ rt.paramNames, formals ++ rt.paramInfos, rt.resultType) + tp.derivedLambdaType(tp.paramNames ++ rt.paramNames, formals ++ rt.paramInfos, rt.resultType) case rt => - tp.derivedMethodType(tp.paramNames, formals, rt) + tp.derivedLambdaType(tp.paramNames, formals, rt) } case tp @ ClassInfo(pre, cls, classParents, decls, _) => if (cls is Package) tp |