aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-03-03 14:04:26 +0100
committerMartin Odersky <odersky@gmail.com>2017-03-03 14:09:05 +0100
commitc7f1f35c36593ac9454c8572a59c649610829b6a (patch)
treeb2de4b3cff10739cb9685b62b2b41a95961f7100 /compiler/src/dotty/tools/dotc/core/TypeComparer.scala
parent10d868ce335d1ecbb0a6acb8d4bd804d76edcac9 (diff)
downloaddotty-c7f1f35c36593ac9454c8572a59c649610829b6a.tar.gz
dotty-c7f1f35c36593ac9454c8572a59c649610829b6a.tar.bz2
dotty-c7f1f35c36593ac9454c8572a59c649610829b6a.zip
Adress reviewers comments
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r--compiler/src/dotty/tools/dotc/core/TypeComparer.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
index 168742257..e423dd686 100644
--- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -1331,7 +1331,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
}
if (homogenizeArgs &&
isNonvariantAlias(rinfo1) && isNonvariantAlias(rinfo2))
- isSameType(rinfo1, rinfo2)
+ isSameType(rinfo1, rinfo2) // establish new constraint
tp1.derivedRefinedType(parent, tp1.refinedName, rinfo1 & rinfo2)
case _ =>