class Box[V](val value: V)

class Test:
  def value: Box["text"] = Box("text")

  def test: String = value match
    case b: Box[_ <: String] => b.value

Add a test case there the pattern has a bound
Add a test case there the pattern has a bound

Looking at the log of constr, gadts, and gadtsConstr there seems to be
no change in behaviour compared to before the implementation change in
PatternTypeConstrainer.
