diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-09-09 15:34:01 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-09-09 15:34:01 +0200 |
commit | 16a3c393bd8001b7e8e2f8724f2d23279ed55bb1 (patch) | |
tree | e27a04af2ec09ff88fa274fb8524652b021d6ab3 /.gitignore | |
parent | bdc0471f52491fcf9268fd369e02b1fbc5263518 (diff) | |
download | dotty-16a3c393bd8001b7e8e2f8724f2d23279ed55bb1.tar.gz dotty-16a3c393bd8001b7e8e2f8724f2d23279ed55bb1.tar.bz2 dotty-16a3c393bd8001b7e8e2f8724f2d23279ed55bb1.zip |
Add postcondition to ExpandPrivate.
Check that we do not create members with weaker access than members in superclass.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions