diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-10 11:37:30 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:02:01 +0200 |
| commit | 8d41e9dcee916e2fa4c7f096eb491d38e1185c1c (patch) | |
| tree | 4afece7763a8cd157974a4ff7158fef438327fd7 /src/dotty/tools/dotc/core/Flags.scala | |
| parent | 8b1e58ffb847706cada8fc5834c5ac6bcfcd8421 (diff) | |
| download | dotty-8d41e9dcee916e2fa4c7f096eb491d38e1185c1c.tar.gz dotty-8d41e9dcee916e2fa4c7f096eb491d38e1185c1c.tar.bz2 dotty-8d41e9dcee916e2fa4c7f096eb491d38e1185c1c.zip | |
Make TypeParamCreation flags depend on owner
Type params should have different flags, depending on whether they are
owned by a method or a class. Only class type parameters are marked Deferred,
protected, and Local.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index b68e7dc42..c467a553f 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -452,8 +452,8 @@ object Flags { /** The flags of the self symbol */ final val SelfSymFlags = Private | Local | Deferred - /** The flags of a type parameter */ - final val TypeParamCreationFlags = TypeParam | Deferred | Protected | Local + /** The flags of a class type parameter */ + final def ClassTypeParamCreationFlags = TypeParam | Deferred | Protected | Local /** Flags that can apply to both a module val and a module class, except those that * are added at creation anyway |