l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method

scala/collection/immutable/TrieIterator "private scala.Tuple2 splitArray(scala.collection.immutable.Iterable[])"

Caused by: java.lang.AssertionError: assertion failed: invalid upper type bound: UIDSet(ArrayType(ObjectType(scala/collection/AbstractIterable)), ArrayType(ObjectType(scala/collection/immutable/Iterable))) for: { <: scala.collection.AbstractIterable[], null}[↦44;t=128], { <: scala.collection.AbstractIterable[], null}[↦101;t=154] [error] at scala.Predef$.assert(Predef.scala:170) [error] at org.opalj.ai.domain.l1.ReferenceValues$MultipleReferenceValues.<init>(ReferenceValues.scala:1122) [error] at org.opalj.ai.domain.l1.DefaultReferenceValuesBinding$class.MultipleReferenceValues(DefaultReferenceValuesBinding.scala:133) [error] at org.opalj.ai.domain.l2.SharedDefaultDomain.MultipleReferenceValues(DefaultDomain.scala:74) [error] at org.opalj.ai.domain.l1.ReferenceValues$MultipleReferenceValues.refineUpperTypeBound(ReferenceValues.scala:1517) [error] at org.opalj.ai.domain.l1.ReferenceValues$class.refSetUpperTypeBoundOfTopOperand(ReferenceValues.scala:1800) [error] at org.opalj.ai.domain.l2.SharedDefaultDomain.refSetUpperTypeBoundOfTopOperand(DefaultDomain.scala:74) [error] at org.opalj.ai.AI$class.continueInterpretation(AI.scala:2484)

Comments (4)