diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-13 16:51:05 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-13 16:51:18 +0200 |
| commit | a45a3e5f573fc5b768fcd0d6be507a0af8fd53cc (patch) | |
| tree | 4ca6be161907fa2d19d1289c5ee0956c02302a81 /tests/pos/i1590.scala | |
| parent | dac5b931bcf8757070c8aa74571e52f3b4c6e5eb (diff) | |
| download | dotty-a45a3e5f573fc5b768fcd0d6be507a0af8fd53cc.tar.gz dotty-a45a3e5f573fc5b768fcd0d6be507a0af8fd53cc.tar.bz2 dotty-a45a3e5f573fc5b768fcd0d6be507a0af8fd53cc.zip | |
Fix #1590: Eliminate wildcards when approximating a type
Fixes #1590. Type variables should never be instantiated to types
containing wildcards.
Diffstat (limited to 'tests/pos/i1590.scala')
| -rw-r--r-- | tests/pos/i1590.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/pos/i1590.scala b/tests/pos/i1590.scala new file mode 100644 index 000000000..a8f36de45 --- /dev/null +++ b/tests/pos/i1590.scala @@ -0,0 +1 @@ +case class W[T](seq: Option[Option[T]] = Option.empty) |