diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-11-21 15:11:48 +0100 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-11-21 15:11:48 +0100 |
commit | 304edd816329703919808e5ec851ed946e6f549f (patch) | |
tree | 7e39c66afda33546ad91fa5500817a731129da5b /src/reflect | |
parent | 495fdb3d72194c8b5010e98a1186ccafc95fbd8a (diff) | |
parent | 9266dee17c563c3394077e747c5037050cafcde2 (diff) | |
download | scala-304edd816329703919808e5ec851ed946e6f549f.tar.gz scala-304edd816329703919808e5ec851ed946e6f549f.tar.bz2 scala-304edd816329703919808e5ec851ed946e6f549f.zip |
Merge pull request #4115 from retronym/ticket/8597
SI-8597 Improved pattern unchecked warnings
Diffstat (limited to 'src/reflect')
-rw-r--r-- | src/reflect/scala/reflect/internal/Symbols.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/internal/Symbols.scala b/src/reflect/scala/reflect/internal/Symbols.scala index 51f06b1d6d..b2f176e894 100644 --- a/src/reflect/scala/reflect/internal/Symbols.scala +++ b/src/reflect/scala/reflect/internal/Symbols.scala @@ -792,6 +792,10 @@ trait Symbols extends api.Symbols { self: SymbolTable => final def isDefinedInPackage = effectiveOwner.isPackageClass final def needsFlatClasses = phase.flatClasses && rawowner != NoSymbol && !rawowner.isPackageClass + // TODO introduce a flag for these? + final def isPatternTypeVariable: Boolean = + isAbstractType && !isExistential && !isTypeParameterOrSkolem && isLocalToBlock + /** change name by appending $$<fully-qualified-name-of-class `base`> * Do the same for any accessed symbols or setters/getters. * Implementation in TermSymbol. |