Assume StubSymbols are not StaticAnnotations

Author: retronym

src/compiler/scala/tools/nsc/symtab/classfile/Pickler.scala

@@ -251,7 +251,7 @@ abstract class Pickler extends SubComponent {
 
             putChildren(sym, children.toList sortBy (_.sealedSortName))
           }
-          for (annot <- (sym.annotations filter (ann => ann.isStatic && !ann.isErroneous)).reverse)
+          for (annot <- (sym.annotations filter (ann => {ann.failIfStub; ann.isStatic && !ann.isErroneous})).reverse)
             putAnnotation(sym, annot)
         }
         else if (sym != NoSymbol) {
@@ -304,6 +304,7 @@ abstract class Pickler extends SubComponent {
           putSymbols(tparams)
         case AnnotatedType(_, underlying) =>
           putType(underlying)
+          tp.annotations.foreach(_.failIfStub) // staticAnnotations skips stubs but we want a hard error
           tp.staticAnnotations foreach putAnnotation
         case _ =>
           throw new FatalError("bad type: " + tp + "(" + tp.getClass + ")")

src/reflect/scala/reflect/internal/AnnotationInfos.scala

@@ -296,6 +296,7 @@ trait AnnotationInfos extends api.Annotations { self: SymbolTable =>
      *  metaAnnotations = List(getter).
      */
     def symbol = atp.typeSymbol
+    final def failIfStub: Unit = symbol.info
 
     /** These are meta-annotations attached at the use site; they
      *  only apply to this annotation usage.  For instance, in
@@ -323,7 +324,14 @@ trait AnnotationInfos extends api.Annotations { self: SymbolTable =>
     /** Check whether the type or any of the arguments are erroneous */
     def isErroneous = atp.isErroneous || args.exists(_.isErroneous)
 
-    def isStatic = symbol isNonBottomSubClass StaticAnnotationClass
+    def isStatic = {
+      symbol match {
+        case _: StubSymbol =>
+          false // See scala/bug#11679
+        case _ =>
+          symbol isNonBottomSubClass StaticAnnotationClass
+      }
+    }
 
     /** Check whether any of the arguments mention a symbol */
     def refsSymbol(sym: Symbol) = hasArgWhich(_.symbol == sym)

src/reflect/scala/reflect/internal/Types.scala

@@ -3461,9 +3461,12 @@ trait Types
   object AnnotatedType extends AnnotatedTypeExtractor
 
   object StaticallyAnnotatedType {
-    def unapply(tp: Type): Option[(List[AnnotationInfo], Type)] = tp.staticAnnotations match {
-      case Nil    => None
-      case annots => Some((annots, tp.withoutAnnotations))
+    def unapply(tp: Type): Option[(List[AnnotationInfo], Type)] = {
+      tp.annotations.foreach(_.failIfStub) // staticAnnotations skips stubs but we want a hard error
+      tp.staticAnnotations match {
+        case Nil    => None
+        case annots => Some((annots, tp.withoutAnnotations))
+      }
     }
   }