Fix TypeOps.featureEnabled ignoring import disabling.

Author: nicolasstucki

src/dotty/tools/dotc/core/TypeOps.scala

@@ -458,15 +458,16 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
       if (!sym.exists || (sym eq defn.LanguageModuleClass) || (sym eq defn.Scala2LanguageModuleRef)) ""
       else toPrefix(sym.owner) + sym.name + "."
     def featureName = toPrefix(owner) + feature
-    def hasImport(implicit ctx: Context): Boolean = (
-         ctx.importInfo != null
-      && (   (ctx.importInfo.site.widen.typeSymbol eq owner)
-          && ctx.importInfo.originals.contains(feature)
-          ||
-          { var c = ctx.outer
-            while (c.importInfo eq ctx.importInfo) c = c.outer
-            hasImport(c)
-          }))
+    def hasImport(implicit ctx: Context): Boolean = {
+      if (ctx.importInfo == null || (ctx.importInfo.site.widen.typeSymbol ne owner)) false
+      else if (ctx.importInfo.excluded.contains(feature)) false
+      else if (ctx.importInfo.originals.contains(feature)) true
+      else {
+        var c = ctx.outer
+        while (c.importInfo eq ctx.importInfo) c = c.outer
+        hasImport(c)
+      }
+    }
     def hasOption = ctx.base.settings.language.value exists (s => s == featureName || s == "_")
     hasImport(ctx.withPhase(ctx.typerPhase)) || hasOption
   }

tests/neg/dynamicNoImport.scala

@@ -1,3 +1,13 @@
 class Foo extends scala.Dynamic // error
 trait Bar extends scala.Dynamic // error
 object Baz extends scala.Dynamic // error
+
+package A {
+  import scala.language.dynamics
+  package B {
+    import scala.language.{ dynamics => _ }
+    class Foo extends scala.Dynamic // error
+    trait Bar extends scala.Dynamic // error
+    object Baz extends scala.Dynamic // error
+  }
+}