Well-formedness check failure when operating on an Array type alias

[mario-bucev]

The following code is rejected after extraction:

object ArrayTypeAlias {
  type ByteArray = Array[Byte]

  case class ByteArrayWrapper(ba: ByteArray)

  def test(baw: ByteArrayWrapper): Unit = {
    require(baw.ba.length == 64)
    baw.ba(0) = 3
    val ba2 = baw.ba.updated(0, 4.toByte)
    assert(ba2(0) == 4)
  }
}

Note that it seems to only concern Arrays, Set etc. are unaffected. The fix is easy but I'm opening the issue for tracking.