diff options
author | Martin Odersky <odersky@gmail.com> | 2013-11-20 14:20:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-11-20 14:20:23 +0100 |
commit | db5066bbb4c281bd3b65fe6422314afee115de5e (patch) | |
tree | abae091c0339527852c22a7701885e2306b9e453 /src/dotty/tools/dotc/core/TyperState.scala | |
parent | acc9d750d1776d8d1c864fb3ddaadbaec34d286e (diff) | |
download | dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.tar.gz dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.tar.bz2 dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.zip |
More tweaks
Diffstat (limited to 'src/dotty/tools/dotc/core/TyperState.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TyperState.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TyperState.scala b/src/dotty/tools/dotc/core/TyperState.scala index 8246ae198..626c1227f 100644 --- a/src/dotty/tools/dotc/core/TyperState.scala +++ b/src/dotty/tools/dotc/core/TyperState.scala @@ -104,7 +104,7 @@ extends TyperState(reporter) { def checkConsistent(show: Showable => String = MutableTyperState.toStr): Unit = if (checkingEnabled) { def err(msg: String, what: Showable) = s"$msg: ${show(what)}\n${show(this)}" for (tvar <- undetVars) - assert(constraint(tvar.origin).exists, err("unconstrained type var", tvar.origin)) + assert(constraint contains tvar.origin, err("unconstrained type var", tvar.origin)) if (isCommittable) { val undetParams = undetVars map (_.origin) for (param <- constraint.domainParams) |