diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-28 17:10:11 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-28 17:10:11 +0100 |
| commit | a9fe1a9cd4514406b54d03ef51740373429dfe05 (patch) | |
| tree | 982d217b41e1349541b5ad67c35ba677e6994054 /src/dotty/tools/dotc/core/Constraint.scala | |
| parent | 89804e38f3ee6708762609a9b0a9e52544632016 (diff) | |
| download | dotty-a9fe1a9cd4514406b54d03ef51740373429dfe05.tar.gz dotty-a9fe1a9cd4514406b54d03ef51740373429dfe05.tar.bz2 dotty-a9fe1a9cd4514406b54d03ef51740373429dfe05.zip | |
Tightening (constraint contains param) condition
Diffstat (limited to 'src/dotty/tools/dotc/core/Constraint.scala')
| -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? */ |