diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2017-04-11 15:36:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-11 15:36:02 +0200 |
| commit | 9917029becab32d56e786ac9309ee195737f6da0 (patch) | |
| tree | 27319d8a4d45cf389796abd7a1be7fe862839e33 /tests | |
| parent | 92a9d05fd64ac97140aa0f01214c4738526383c3 (diff) | |
| parent | ad6c683596f12a8e868c8c6f8ce2a4855146daca (diff) | |
| download | dotty-9917029becab32d56e786ac9309ee195737f6da0.tar.gz dotty-9917029becab32d56e786ac9309ee195737f6da0.tar.bz2 dotty-9917029becab32d56e786ac9309ee195737f6da0.zip | |
Merge pull request #2222 from dotty-staging/fix/wildcard-apply
Fix #2219: Fix type applications on WildcardType
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/i2219.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/i2219.scala b/tests/pos/i2219.scala new file mode 100644 index 000000000..7f786eb3e --- /dev/null +++ b/tests/pos/i2219.scala @@ -0,0 +1,7 @@ +object Test { + type Inv[T[_]] = T[_] + + class Hi[T[_]](x: Inv[T]) { + def foo[T[_]](value: Inv[T] = x) = {} + } +} |