diff options
author | odersky <odersky@gmail.com> | 2017-03-31 13:17:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-31 13:17:49 +0200 |
commit | 4f53a1d789fa68c25d885114d59a7971a795a1d0 (patch) | |
tree | a9d433e5e1ff9f6fec03254fed796660abb52b85 /tests/pos/orinf.scala | |
parent | f75caad00256db52bbd3310f245e51d23c2a76cc (diff) | |
parent | f3707992ee2ed56ce754df8c0760fc3928f0317f (diff) | |
download | dotty-4f53a1d789fa68c25d885114d59a7971a795a1d0.tar.gz dotty-4f53a1d789fa68c25d885114d59a7971a795a1d0.tar.bz2 dotty-4f53a1d789fa68c25d885114d59a7971a795a1d0.zip |
Merge pull request #2158 from dotty-staging/fix-i2165
Fix #2156
Diffstat (limited to 'tests/pos/orinf.scala')
0 files changed, 0 insertions, 0 deletions