Match type pickling test failure

The following fails to pass the pickling tests:

```scala
object Test {
  type M[X] = X match { case Int => String }
  def a: Any { type Out = M[Int] } = a
}
```

(minimized from #13585)

The failure comes from the refinement type, which is printed as
`scala.Any{Out = scala.String}` before pickling, and
`scala.Any{Out = Test.M[scala.Int]}` after pickling.
