diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-13 15:17:17 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-13 15:33:47 +0200 |
| commit | 18b30803952cee83580eab28068bc773fdce780e (patch) | |
| tree | 03c603f0920da2b987d9b93b5b820c099f9049e5 /tests/pos/hklower.scala | |
| parent | 0ff5354e2a5e3f29234d6d761177f9228d8da522 (diff) | |
| download | dotty-18b30803952cee83580eab28068bc773fdce780e.tar.gz dotty-18b30803952cee83580eab28068bc773fdce780e.tar.bz2 dotty-18b30803952cee83580eab28068bc773fdce780e.zip | |
Allow hk parameters in lower bounds
Diffstat (limited to 'tests/pos/hklower.scala')
| -rw-r--r-- | tests/pos/hklower.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos/hklower.scala b/tests/pos/hklower.scala new file mode 100644 index 000000000..033ee3a34 --- /dev/null +++ b/tests/pos/hklower.scala @@ -0,0 +1,11 @@ +class Test { // error: conflicting bounds + + type T[X] + type U[X] = T[X] + + type V[X] >: T[X] + type W[X] >: T[X] <: T[X] + + def f[C[X] >: T[X]]() = ??? + +} |