diff options
author | odersky <odersky@gmail.com> | 2017-02-18 12:58:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-18 12:58:05 +0100 |
commit | 1183b57a014fdb730124037708e2de9ab7c2b128 (patch) | |
tree | 6f255e979180fa2901a9820e2d1cdf7ce1a93963 /tests/neg | |
parent | 5b22ab75f682bd25380d006c4789567e848adfcd (diff) | |
parent | 342c6278d02cf07bea16aea531fccd28ccda989f (diff) | |
download | dotty-1183b57a014fdb730124037708e2de9ab7c2b128.tar.gz dotty-1183b57a014fdb730124037708e2de9ab7c2b128.tar.bz2 dotty-1183b57a014fdb730124037708e2de9ab7c2b128.zip |
Merge pull request #1995 from dotty-staging/fix/private-leaks-pos
checkNoPrivateLeaks: Use correct position for errors
Diffstat (limited to 'tests/neg')
0 files changed, 0 insertions, 0 deletions