Add missing pattern match case in varianceInType

src/reflect/scala/reflect/internal/Variances.scala

@@ -289,6 +289,7 @@ trait Variances {
       case PolyType(tparams, restpe)                       => inSyms(tparams).flip & inType(restpe)
       case ExistentialType(tparams, restpe)                => inSyms(tparams)      & inType(restpe)
       case AnnotatedType(annots, tp)                       => inAnnots(annots)     & inType(tp)
+      case SuperType(thistpe, supertpe)                    => inType(thistpe)      & inType(supertpe)
     }
 
     def apply(tp: Type, tparam: Symbol): Variance = {

test/files/neg/t9911.check

@@ -0,0 +1,4 @@
+t9911.scala:23: error: super may not be used on value source
+      super.source.getSomething
+            ^
+one error found

test/files/neg/t9911.scala

@@ -0,0 +1,28 @@
+// This should say:
+// Error: super may not be used on value source
+class ScalacBug {
+
+  class SomeClass {
+
+    type U
+
+    // Changing T or U stops the problem
+    def getSomething[T]: U = ???
+  }
+
+  trait Base {
+
+    // Changing this to a def like it should be stops the problem
+    val source: SomeClass = ???
+  }
+
+  class Bug extends Base {
+
+    override val source = {
+      // Not calling the function stops the problem
+      super.source.getSomething
+      ???
+    }
+  }
+
+}