make refined type printing more source compatible

[bishabosha]

Compiler version

3.0.1-RC1

Minimized example

class Bag extends reflect.Selectable

val m = new Bag { val f = 23; def g = 47; def h(i: Int): Int = i }

Output

in the repl the type printed has a type that is not source compatible

scala> val m = new Bag { val f = 23; def g = 47; def h(i: Int): Int = i; var i = 101; type N = Int }
val m: Bag{f: Int; g: => Int; h(i: Int): Int; i: Int; i_=(x$1: Int): Unit; N = Int} = anon$1@403364e9

Expectation

we annotate each refinement with if it is a type, def or val

scala> val m = new Bag { val f = 23; def g = 47; def h(i: Int): Int = i; var i = 101; type N = Int }
val m: Bag{val f: Int; def g: Int; def h(i: Int): Int; def i: Int; def i_=(x$1: Int): Unit; type N = Int} = anon$1@403364e9

[yasuomaidana]

Hi, let me try it.

[yasuomaidana]

I have a question, how do you make this test?.
It is my first time trying to use and contribute with this project. I already downloaded the repo and if I'm doing well, I'm running scala3 with this repo.
I run tests/pos/HelloWorld.scala, but I'm not sure how to run this example
😞

[bishabosha]

I think the best option would be to add a file to compiler/test-resources/type-printer, these get executed by compiler/test/dotty/tools/repl/ScriptedTests.scala, and its essentially replaying a repl session and asserting that the output matches the file in the type-printer dir