Polymorphic function optimizer, some other cases

[sir-wabbit]

It doesn't yet work in some cases like

object A {
  val foo = new Obj {
    def foo[A]: Foo[A] = ...
  }
}

or

trait Obj {
  def foo[A]: Foo[A] = ...
}
object A extends Obj

EDIT: works in both cases.

[sir-wabbit]

The only remaining case is

object A {
  val a = new C // not a refinement
}
class C {
  def foo[A]: Foo[A] = ...
}