Patterns with dependent result types don't get a reference to match scrutinee

[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

[EugeneFlesselle]

In (w: w.type) match case Wrap(n) => ... we type the pattern with a selector type of Wrap, i.e. we have lost the reference to w.type. This is due to a widening in typedMatch:

scala3/compiler/src/dotty/tools/dotc/typer/Typer.scala

Lines 1974 to 1976 in e2dfea3

	val selType = rawSelectorTpe match
	case c: ConstantType if tree.isInline => c
	case otherTpe => otherTpe.widen

adapting this fixes the issue, but causes a bunch of other tests to fail.

[mbovel]

We had a look during last Spree.

@EugeneFlesselle, what was the conclusion in the end? Do you have a branch somewhere with what you experimented?

[EugeneFlesselle]

what was the conclusion in the end?

There is no easy fix (that breaks nothing else), but it would be nice to figure it out.

Do you have a branch somewhere with what you experimented?

Not right now no, but I can push what I had if anyone needs it

[EugeneFlesselle]

The single modification which allows to above to compile is to modify:

scala3/compiler/src/dotty/tools/dotc/typer/Typer.scala

Lines 2017 to 2019 in b981231

	val selType = rawSelectorTpe match
	case c: ConstantType if tree.isInline => c
	case otherTpe => otherTpe.widen

to do less widening of the selector type, as was already done for ConstantTypes.

Doing so breaks other things, such as exhaustivity checking since the inferred type of match all patterns are also affected.

The more general solution would support cases like:

Option(Wrap(1)) match
  case Some(w @ Wrap(x)) => x: w.Value

But this requires having a symbol for w to refine the selector from Wrap to a term ref (w: Wrap) for the typing of the body of the bind pattern Wrap(x). But, the logic for constructing the symbol of the bind heavily relies on being after the body has been typed:

scala3/compiler/src/dotty/tools/dotc/typer/Typer.scala

Line 2692 in b981231

val sym = newPatternBoundSymbol(name, symTp, tree.span)