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 /src/dotty/tools/dotc/typer/RefChecks.scala | |
| 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 'src/dotty/tools/dotc/typer/RefChecks.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala index 416a2cb92..44d5ee576 100644 --- a/src/dotty/tools/dotc/typer/RefChecks.scala +++ b/src/dotty/tools/dotc/typer/RefChecks.scala @@ -288,7 +288,7 @@ object RefChecks { !member.isAnyOverride) { // (*) Exclusion for default getters, fixes SI-5178. We cannot assign the Override flag to // the default getter: one default getter might sometimes override, sometimes not. Example in comment on ticket. - if (member.name == nme.isDefined && member.is(Synthetic)) // isDefined methods are added automatially, can't have an override preset. + if (member.is(Synthetic) && desugar.isDesugaredCaseClassMethodName(member.name)) // such names are added automatically, can't have an override preset. member.setFlag(Override) else if (member.owner != clazz && other.owner != clazz && !(other.owner derivesFrom member.owner)) emitOverrideError( |