Win Wang

Scalasig not recursing into package type for prefix

1

Rsc misses out on including the package type as a prefix. ```scala package foo object O { class D } class C extends O.D ``` ```diff tag: CLASSINFOtpe sym: foo.#C#...

Expected: ```scala def foo = (x: (String, Int)) => x._2 ``` Obtained: ```scala def foo: (String, Int) => Int = (x: (String, Int)) => x._2 ``` Expected: ```scala def foo:...

Given: ```scala trait AC { def foo: Int } def ac = new AC { override val foo: Int = 0 } ``` Obtained: ```scala def ac: AC { val...

Given: ```scala class Box[A] trait T class A extends T class B extends T val foo = Seq(new Box[A], new Box[B]) ``` Obtained: ```scala val foo: Seq[Box[_1] forSome { type...

Simplify simple forSome existential types into wildcard existentials

2

Instead of ascribing ```scala val x: Foo[X] forSome { type X } ``` we will ascribe ```scala val x: Foo[_] ```

Given: ```scala val a = Tuple1(1) ``` Obtained: ```scala val a: (Int) = Tuple1(1) ``` Expected: ```scala val a: (Int,) = Tuple1(1) // or maybe a: Tuple1[Int] ```

i.e. an automated version of https://github.com/twitter/rsc/pull/326 Results to #100

A.scala: ```scala final object A ``` ```diff name: "A" source: "A.scala" symbols { tag: MODULEsym id: .#A. - flags: FINAL | MODULE + flags: MODULE info { tag: TYPEREFtpe pre...