diff options
author | Martin Odersky <odersky@gmail.com> | 2014-07-20 14:44:31 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-03 17:28:34 +0200 |
commit | 38761d9d11a42635e64d6df54ecaf1968797e7e8 (patch) | |
tree | e0feb46fdbe76741edb339095a71ec23ec2f1afd /src/dotty/tools/dotc/core | |
parent | 948747ede5143db221b1b266d011900c3cc2a758 (diff) | |
download | dotty-38761d9d11a42635e64d6df54ecaf1968797e7e8.tar.gz dotty-38761d9d11a42635e64d6df54ecaf1968797e7e8.tar.bz2 dotty-38761d9d11a42635e64d6df54ecaf1968797e7e8.zip |
Two variance-related fixes in Desugar
1) Type parameter accessors inherit their variance from the type parameter
2) Copy method parameter defaults are annotated @uncheckedVariance. This is
necessary because default methods will be checked for variance.
Diffstat (limited to 'src/dotty/tools/dotc/core')
-rw-r--r-- | src/dotty/tools/dotc/core/NameOps.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index d32fd1913..e7283c827 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -73,6 +73,7 @@ object NameOps { def isModuleClassName = name endsWith MODULE_SUFFIX def isImportName = name startsWith IMPORT def isInheritedName = name.length > 0 && name.head == '(' && name.startsWith(nme.INHERITED) + def isDefaultGetterName = name.isTermName && name.asTermName.defaultGetterIndex >= 0 def isModuleVarName(name: Name): Boolean = name.stripAnonNumberSuffix endsWith MODULE_VAR_SUFFIX |