diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-12-10 18:53:45 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-12-10 18:53:45 +0100 |
| commit | 176d677258051fd1eef1d1bf26575919cab03530 (patch) | |
| tree | 77b485229b9c682e1437a3672b89f4802ffa1d8c /src/dotty/tools/dotc/core/TypeComparer.scala | |
| parent | db48496502eb1d86f54365b5a815e45a52f4819d (diff) | |
| download | dotty-176d677258051fd1eef1d1bf26575919cab03530.tar.gz dotty-176d677258051fd1eef1d1bf26575919cab03530.tar.bz2 dotty-176d677258051fd1eef1d1bf26575919cab03530.zip | |
Converted some TypeBounds pattern matches to TypeAlias matches.
Replace all
case TypeBounds(lo, hi) if lo eq hi =>
patterns with
case TypeAlias(alias) =>
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 2140f9bfe..2742d77f2 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -668,8 +668,8 @@ class TypeComparer(initctx: Context) extends DotClass { { // special case for situations like: // foo <: C { type T = foo.T } tp2.refinedInfo match { - case TypeBounds(lo, hi) if lo eq hi => - !ctx.phase.erasedTypes && (tp1r select name) =:= lo + case rinfo: TypeAlias => + !ctx.phase.erasedTypes && (tp1r select name) =:= rinfo.alias case _ => false } }) |