RefChecks assertion error when binding a type in pattern matching

[biboudis]

object Test {

  case class Bar[A]

  def meth[A](consumer: A => Unit, s: Bar[A]): Unit = {
    s match {
      case bar: Bar[a] => {
        meth(consumer, new Bar[a]) // ok with `meth[a]`
      }
    }
  }
}

assertion failed: found: (A => Unit)(consumer)
required: a => Unit

when compiled with dotc -Ycheck:refchecks test.scala

[allanrenucci]

Still failing with #4183 merged

[biboudis]

Thanks for checking!

[smarter]

Already fixed, regression test in #5800.