diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-11 12:21:33 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:05:14 +0200 |
commit | 8e1f0da3a22fb282e7bbde728c488d417aff5358 (patch) | |
tree | c4ebb464077d0b146b2773fadc22f36e89e3bb9f | |
parent | 6bb62102e0542149a3644819fdcfae40ce08ba9e (diff) | |
download | dotty-8e1f0da3a22fb282e7bbde728c488d417aff5358.tar.gz dotty-8e1f0da3a22fb282e7bbde728c488d417aff5358.tar.bz2 dotty-8e1f0da3a22fb282e7bbde728c488d417aff5358.zip |
Clean up of logic in typeDefSig
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 99119acb3..7349b3198 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -797,10 +797,10 @@ class Namer { typer: Typer => // // The scheme critically relies on an implementation detail of isRef, which // inspects a TypeRef's info, instead of simply dealiasing alias types. - val rhsType = typedAheadType(tdef.rhs).tpe + val rhsType = abstracted(typedAheadType(tdef.rhs).tpe) val unsafeInfo = rhsType match { - case _: TypeBounds => abstracted(rhsType).asInstanceOf[TypeBounds] - case _ => TypeAlias(abstracted(rhsType), if (sym is Local) sym.variance else 0) + case bounds: TypeBounds => bounds + case alias => TypeAlias(alias, if (sym is Local) sym.variance else 0) } sym.info = NoCompleter checkNonCyclic(sym, unsafeInfo, reportErrors = true) |