diff options
author | odersky <odersky@gmail.com> | 2017-04-09 16:28:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-09 16:28:56 +0200 |
commit | b8bb34dd0ea68cfed09ed54604f659a787037d2d (patch) | |
tree | 3387b92f511c18fa91a8417b6b74a43d798e4a19 /bin | |
parent | 4d76265fac7edafc2fcf29ce6873fdb252fbba0d (diff) | |
parent | b159489576fc7afdee5b2d93e9465dbc87f8069e (diff) | |
download | dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.tar.gz dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.tar.bz2 dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.zip |
Merge pull request #2204 from dotty-staging/fix/i2201
Fix #2201: Less aggressive type application reduction for better inference
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions