diff options
Diffstat (limited to 'tests/untried/pos/kinds.scala')
-rw-r--r-- | tests/untried/pos/kinds.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/pos/kinds.scala b/tests/untried/pos/kinds.scala new file mode 100644 index 000000000..6d6da0c8b --- /dev/null +++ b/tests/untried/pos/kinds.scala @@ -0,0 +1,13 @@ +trait IllKind1 { + def g(s: String): String = s + def f: String = ??? + def f[C](c: C): String = g(f) +} + +trait IllKind2 { + def b1: Char = ??? + def b2: Byte = ??? + + def f1 = "abc" contains b1 + def f2 = "abc" contains b2 +} |