diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-20 11:18:49 +0100 |
|---|---|---|
| committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-20 12:58:58 +0100 |
| commit | f8b521a0327c8c902d690f3361f2aeab942a653d (patch) | |
| tree | f58fabcbdeecd0ee05c9a928fd9c67897ae8ecf8 /tests/neg/i2086b.scala | |
| parent | 53b808f27229cd2eefaf5b4141b3519cdc886b79 (diff) | |
| download | dotty-f8b521a0327c8c902d690f3361f2aeab942a653d.tar.gz dotty-f8b521a0327c8c902d690f3361f2aeab942a653d.tar.bz2 dotty-f8b521a0327c8c902d690f3361f2aeab942a653d.zip | |
Fixed #2086: Add tests for issue that has already been fixed.
Diffstat (limited to 'tests/neg/i2086b.scala')
| -rw-r--r-- | tests/neg/i2086b.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/neg/i2086b.scala b/tests/neg/i2086b.scala new file mode 100644 index 000000000..0a5e296fd --- /dev/null +++ b/tests/neg/i2086b.scala @@ -0,0 +1,5 @@ + +object Test { // error: Test cannot be instantiated since it has a member type Bound with possibly conflicting bounds [Left, Right] => Left <: ... <: [Left, Right] => Right + type Bound[Left, Right] >: Left <: Right + type Foo = Bound[Any, Nothing] +} |