diff options
author | Martin Odersky <odersky@gmail.com> | 2014-09-27 19:00:08 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 06:39:08 +0200 |
commit | 2f6305977eff1c5010e780ce624d524ed4d01947 (patch) | |
tree | e05b636cc5ff306e2f72a39bb85f4e02b7efd110 | |
parent | 5fe03355f9a5730f0ed662f1a210398a9fa9b238 (diff) | |
download | dotty-2f6305977eff1c5010e780ce624d524ed4d01947.tar.gz dotty-2f6305977eff1c5010e780ce624d524ed4d01947.tar.bz2 dotty-2f6305977eff1c5010e780ce624d524ed4d01947.zip |
Fixed assertion to enfornce idempotency of substitutions
-rw-r--r-- | src/dotty/tools/dotc/ast/TreeTypeMap.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/TreeTypeMap.scala b/src/dotty/tools/dotc/ast/TreeTypeMap.scala index bb8937aed..56602cca9 100644 --- a/src/dotty/tools/dotc/ast/TreeTypeMap.scala +++ b/src/dotty/tools/dotc/ast/TreeTypeMap.scala @@ -150,8 +150,8 @@ final class TreeTypeMap( // We'll cross that bridge when we need to. assert(!from.exists(substTo contains _)) assert(!to.exists(substFrom contains _)) - assert(!from.exists(oldOwners contains _)) - assert(!to.exists(newOwners contains _)) + assert(!from.exists(newOwners contains _)) + assert(!to.exists(oldOwners contains _)) new TreeTypeMap( typeMap, treeMap, |