diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 48cd03f60..48bb91a1e 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -24,7 +24,7 @@ trait TypeOps { this: Context => else { val tp1 = tp.derivedNamedType(asSeenFrom(tp.prefix, pre, cls, theMap)) // short-circuit instantiated type parameters - if ((tp1 ne tp) && (sym is (TypeParam, butNot = Deferred))) tp1.dealias + if ((tp1 ne tp) && (sym is (TypeParam, butNot = Deferred))) tp1.dealias else tp1 } case ThisType(thiscls) => @@ -173,7 +173,7 @@ trait TypeOps { this: Context => case Some(info) => info & tp.refinedInfo case none => tp.refinedInfo }) - formals = formals.updated(name, tp1.member(name).symbol) + formals = formals.updated(name, tp1.typeParamNamed(name)) normalizeToRef(tp1) case tp: TypeRef => tp |