diff options
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/i2188.scala | 5 | ||||
-rw-r--r-- | tests/pos/i2192.scala | 7 | ||||
-rw-r--r-- | tests/pos/i2200/Hello.scala | 6 | ||||
-rw-r--r-- | tests/pos/i2200/package.scala | 4 |
4 files changed, 22 insertions, 0 deletions
diff --git a/tests/pos/i2188.scala b/tests/pos/i2188.scala new file mode 100644 index 000000000..4129977ac --- /dev/null +++ b/tests/pos/i2188.scala @@ -0,0 +1,5 @@ +class Fill(elem: => Int) { + class Iter { + def next(): Int = elem + } +} diff --git a/tests/pos/i2192.scala b/tests/pos/i2192.scala new file mode 100644 index 000000000..2e85e366e --- /dev/null +++ b/tests/pos/i2192.scala @@ -0,0 +1,7 @@ +object Test { + def foo(x: Int): Int = x + + Some(foo): Option[Int => Int] + // missing arguments for method foo + // follow this method with `_' if you want to treat it as a partially applied function +} diff --git a/tests/pos/i2200/Hello.scala b/tests/pos/i2200/Hello.scala new file mode 100644 index 000000000..47e8b2024 --- /dev/null +++ b/tests/pos/i2200/Hello.scala @@ -0,0 +1,6 @@ +package bar +import scala.language.higherKinds +class Fix[F[_]](unfix: F[Fix[F]]) +object DocTree { + def docTree(s: StreamTree[DocTree]): DocTree = new Fix(s: StreamTree[DocTree]) +} diff --git a/tests/pos/i2200/package.scala b/tests/pos/i2200/package.scala new file mode 100644 index 000000000..3bc519b72 --- /dev/null +++ b/tests/pos/i2200/package.scala @@ -0,0 +1,4 @@ +package object bar { + type StreamTree[T] = Stream[Int] + type DocTree = Fix[StreamTree] +} |