diff options
| -rw-r--r-- | tests/pending/pos/channels.scala | 4 | ||||
| -rw-r--r-- | tests/pos/bounds.scala (renamed from tests/pending/pos/bounds.scala) | 0 | ||||
| -rw-r--r-- | tests/pos/caseClassInMethod.scala (renamed from tests/pending/pos/caseClassInMethod.scala) | 0 | ||||
| -rw-r--r-- | tests/pos/class-dependent-extension-method.scala (renamed from tests/pending/pos/class-dependent-extension-method.scala) | 0 |
4 files changed, 3 insertions, 1 deletions
diff --git a/tests/pending/pos/channels.scala b/tests/pending/pos/channels.scala index b2f0cdc32..77736305f 100644 --- a/tests/pending/pos/channels.scala +++ b/tests/pending/pos/channels.scala @@ -1,3 +1,5 @@ +// To compile this test, we need some more elaborate GADT capabilities. +// Not sure yet we should invest to get them. class Channel[a] import collection.mutable.Set @@ -16,7 +18,7 @@ object Test extends App { def f[b](x: ![b]): Int = x match { case send: ![c] => send.chan match { - case IC => send.data + case IC => send.data // Here, from the fact that `chan` is an IC, we need to conclude that `c` is Int. } } } diff --git a/tests/pending/pos/bounds.scala b/tests/pos/bounds.scala index 26bc84a1b..26bc84a1b 100644 --- a/tests/pending/pos/bounds.scala +++ b/tests/pos/bounds.scala diff --git a/tests/pending/pos/caseClassInMethod.scala b/tests/pos/caseClassInMethod.scala index 958e5dd47..958e5dd47 100644 --- a/tests/pending/pos/caseClassInMethod.scala +++ b/tests/pos/caseClassInMethod.scala diff --git a/tests/pending/pos/class-dependent-extension-method.scala b/tests/pos/class-dependent-extension-method.scala index b557dfa8f..b557dfa8f 100644 --- a/tests/pending/pos/class-dependent-extension-method.scala +++ b/tests/pos/class-dependent-extension-method.scala |