diff options
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) |