Methods on IArray infer it as Array with capture checking

[reftrans]

Compiler version

Scala compiler version 3.4.0-RC1-bin-SNAPSHOT-git-8cb4945 -- Copyright 2002-2023, LAMP/EPFL

Minimized code

import language.experimental.captureChecking
def foo(): Unit =
  val r1: IArray[String] = ???
  val r2: String = r1.head

Output

-- [E007] Type Mismatch Error: foo.scala:4:19 ----------------------------------------------------------------------------------
4 |  val r2: String = r1.head
  |                   ^^
  |                   Found:    (r1 : IArray[String])
  |                   Required: Array[? <: String]^?
  |
  | longer explanation available when compiling with `-explain`
1 error found

Expectation

No compilater error. I presume that the opaque type is being dealiased somewhere when it should not be.

This is happening with other methods as well as head.