From 0fc19e0e1ef7b56f9ca0649fde35765892cf1a53 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 9 Oct 2013 12:36:43 +0200 Subject: Cleanup of new scheme for handling local type parameters and type members. If a type parameter or local type member is co/contravariant, its instantiation is a special alias type that remembers the variance. These alias types can be refined with subtypes in subclasses and intersection and union translate to their bounds. --- src/dotty/tools/dotc/core/Flags.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/dotty/tools/dotc/core/Flags.scala') diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 17ff18b73..593fb2bbb 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -458,10 +458,10 @@ object Flags { final val ParamOrAccessor = Param | Accessor /** A covariant type parameter instance */ - final val CovariantExpanded = allOf(ExpandedName, Covariant) + final val LocalCovariant = allOf(Local, Covariant) /** A contravariant type parameter instance */ - final val ContravariantExpanded = allOf(ExpandedName, Contravariant) + final val LocalContravariant = allOf(Local, Contravariant) /** A covariant type parameter instance */ final val TypeParamOrInstance = TypeParam | TypeParamInstance -- cgit v1.2.3