diff options
| author | Clemens Winter <clemenswinter1@gmail.com> | 2016-08-12 12:16:15 +0200 |
|---|---|---|
| committer | Clemens Winter <clemenswinter1@gmail.com> | 2016-08-15 10:12:09 +0200 |
| commit | b0298945ddbea26ef00099dc37db5e396af94de4 (patch) | |
| tree | 27729cdcbe652561797ffae9a06c092c99eacd4f /tests/pending | |
| parent | 62348dea92476f1bbb9d7f163f168be9c7e189b5 (diff) | |
| download | dotty-b0298945ddbea26ef00099dc37db5e396af94de4.tar.gz dotty-b0298945ddbea26ef00099dc37db5e396af94de4.tar.bz2 dotty-b0298945ddbea26ef00099dc37db5e396af94de4.zip | |
Fix #1443: Replace toplevel TypeBounds with Any
Diffstat (limited to 'tests/pending')
| -rw-r--r-- | tests/pending/neg/unboundWildcard.scala | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tests/pending/neg/unboundWildcard.scala b/tests/pending/neg/unboundWildcard.scala deleted file mode 100644 index eeee04fde..000000000 --- a/tests/pending/neg/unboundWildcard.scala +++ /dev/null @@ -1,21 +0,0 @@ -object unboundWildcard { - - // TODO: move this to tests/neg once it doesn't crash the compiler anymore - val wildcardVal: _ = 0 // error: unbound wildcard type - - val annotated: _ @unchecked = 0 // error: unbound wildcard type - - def wildcardArg(x: _): Int = 0 // error: unbound wildcard type - - def wildcardResult(x: Int): _ = 0 // error: unbound wildcard type - - val singletonTuple: (((((((_))))))) = ??? // error: unbound wildcard type - - val wildcardBoundedTypeArgL: List[_ <: _] = List(0) // error: unbound wildcard type - val wildcardBoundedTypeArgU: List[_ >: _] = List(0) // error: unbound wildcard type - - def wildcardBoundedTypeParamL[T <: _](x: T): T = x // error: unbound wildcard type - def wildcardBoundedTypeParamU[T >: _](x: T): T = x // error: unbound wildcard type - - val _1403: (_ <: Any) = 1 // error: unbound wildcard type -} |