diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-10 18:50:43 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-10 18:50:43 +0100 |
commit | 9a624b9249024eec4e165b47e22fe3f029a9ae81 (patch) | |
tree | 2d5b00bce2f76e5ac5a5e22c980d543b3c9c8c4c /interfaces | |
parent | 39719aadb4076ecf22ca348f607367817638853d (diff) | |
download | dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.tar.gz dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.tar.bz2 dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.zip |
Nothing is not nullable
Diffstat (limited to 'interfaces')
0 files changed, 0 insertions, 0 deletions