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/pickling/UnPickler.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/pickling/UnPickler.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/pickling/UnPickler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/UnPickler.scala b/src/dotty/tools/dotc/core/pickling/UnPickler.scala index 5b41d1382..36b2c99bf 100644 --- a/src/dotty/tools/dotc/core/pickling/UnPickler.scala +++ b/src/dotty/tools/dotc/core/pickling/UnPickler.scala @@ -453,7 +453,7 @@ class UnPickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleClassRoot: var flags1 = flags if (flags is TypeParam) { name1 = name1.expandedName(owner) - flags1 |= TypeParamCreationFlags | ExpandedName + flags1 |= owner.typeParamCreationFlags | ExpandedName } ctx.newSymbol(owner, name1, flags1, localMemberUnpickler, coord = start) case CLASSsym => |