abstract class Coll[E] extends java.util.Collection[E] {
  override def toArray[T](a: Array[T with Object]): Array[T with Object] = ??? // error: cannot override
}

abstract class Coll[E] extends java.util.Collection[E] {
  override def toArray[T](a: Array[T with Object]): Array[T with Object] = ???
}

Remove error tag from positive test
Remove error tag from positive test

It looks like it's copypasta from when the test was added.
