AbstractMethodError

scala

AnyRef

scala

ArrayIndexOutOfBoundsException

scala

alreadyAnalyzed

TransitiveChecker

assumeClosed

TransitiveChecker