diff options
| -rw-r--r-- | src/dotty/tools/dotc/core/Constraint.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Constraint.scala b/src/dotty/tools/dotc/core/Constraint.scala index bee21d499..c32c9ce42 100644 --- a/src/dotty/tools/dotc/core/Constraint.scala +++ b/src/dotty/tools/dotc/core/Constraint.scala @@ -25,7 +25,7 @@ class Constraint(val myMap: SimpleMap[PolyType, Array[Type]]) extends AnyVal wit /** Does the constraint's domain contain the type parameter `param`? */ def contains(param: PolyParam): Boolean = { val entries = myMap(param.binder) - entries != null && entries(param.paramNum).exists + entries != null && entries(param.paramNum).isInstanceOf[TypeBounds] } /** Does this constraint contain the type variable `tvar` and is it uninstantiated? */ |