test/files/pos/existentials.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/** All of these should work, some don't yet.
 *  !!!
 */
class A {
  def f() = { case class Bob(); Bob }

  val quux0 = f()
  def quux1 = f()
  // lazy val quux2 = f()
  // def quux3 = {
  //   lazy val quux3a = f()
  //   quux3a
  // }
  
  val bippy0 = f _
  def bippy1 = f _
  // lazy val bippy2 = f _
  // val bippy3 = {
  //   lazy val bippy3a = f _
  //   bippy3a
  // }
}