From 38761d9d11a42635e64d6df54ecaf1968797e7e8 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 20 Jul 2014 14:44:31 +0200 Subject: 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. --- src/dotty/tools/dotc/core/NameOps.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'src/dotty/tools/dotc/core/NameOps.scala') 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 -- cgit v1.2.3