test/files/neg/t1431.scala


1
2
3
4
5
6
7
8
9
10

object Bug_New {
  trait MyTrait {
    type Alpha
    def the_value : Alpha
    class Factory() {def value : Alpha = the_value}
  }

  def fun[X<:MyTrait with Singleton]() = new X#Factory().value
}