unapply loses stable prefix when in pattern position

[EugeneFlesselle]

Compiler version

3.5.0-RC1

Minimized code

trait Wrap:
  type Value
  val value: Value

object Wrap:
  def unapply(w: Wrap): Some[w.Value] = Some(w.value)

object Test:
  val w: Wrap = ???

  val Some(n1) = Wrap.unapply(w)
  val _: w.Value = n1 // ok

  val Wrap(n2) = w
  val _: w.Value = n2 // Error Found: (Test.n2 : Wrap#Value)

Expectation

Expected no errors