diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-17 16:38:06 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-17 16:38:06 +0100 |
| commit | 80511914713237de894f896da7397965e52134a7 (patch) | |
| tree | 0413b633ef8baafe30eb86188c59b78a31fca2ba /library | |
| parent | 6df672c7e7be65d7be1cd6524c610aed4f35178c (diff) | |
| download | dotty-80511914713237de894f896da7397965e52134a7.tar.gz dotty-80511914713237de894f896da7397965e52134a7.tar.bz2 dotty-80511914713237de894f896da7397965e52134a7.zip | |
Fix #1991: Use classtag where available in unapply
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions