diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-11-16 13:02:49 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-14 14:30:10 +0100 |
| commit | 21948a58c0c47363addf0dd87f1527e9b0aec76f (patch) | |
| tree | f31875062117d58977fdd1d0432722f89c56bd9e /.gitignore | |
| parent | 0a19b0b94393e47865f21f714e82676a67ab2e4d (diff) | |
| download | dotty-21948a58c0c47363addf0dd87f1527e9b0aec76f.tar.gz dotty-21948a58c0c47363addf0dd87f1527e9b0aec76f.tar.bz2 dotty-21948a58c0c47363addf0dd87f1527e9b0aec76f.zip | |
Generalize overriding checking from isDefined
Generalize overriding checking from isDefined
to all methods added by desugar to a case class.
None of these methods has an override so we
need to add one in case they do override another method
(previously we would flag this as an error).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions