diff options
author | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:05 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:23 +0200 |
commit | bb0faff0d45f873fff9054fd8baec92eabb78c3d (patch) | |
tree | 1ab4f4dc9d5d1a1a3ca2d7f632b1aebe4ea59e41 /tests/pos/t0644.scala | |
parent | b3d683a4088f3db894c026070449637ec74e92fd (diff) | |
download | dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.gz dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.bz2 dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.zip |
Skolemize arguments to dependent methods as necessary.
This was missing before, led to errors not being detected.
Diffstat (limited to 'tests/pos/t0644.scala')
0 files changed, 0 insertions, 0 deletions