Fix #3736: Fix owner checking logic

Author: nicolasstucki

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

@@ -292,16 +292,20 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
       if (!sym.exists || (sym eq defn.LanguageModuleClass)) ""
       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 == owner &&
-        !ctx.importInfo.excluded.contains(feature) &&
-        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 eq null) false
+      else {
+        val isImportOwner = ctx.importInfo.site.widen.typeSymbol eq owner
+        if (isImportOwner && ctx.importInfo.excluded.contains(feature)) false
+        else if (isImportOwner && ctx.importInfo.originals.contains(feature)) true
+        else {
+          def nextImportInfoContext(c: Context): Context =
+            if (c.importInfo ne ctx.importInfo) c
+            else nextImportInfoContext(c.outer)
+          hasImport(nextImportInfoContext(ctx.outer))
         }
       }
+    }
     def hasOption = ctx.base.settings.language.value exists (s => s == featureName || s == "_")
     hasImport(ctx.withPhase(ctx.typerPhase)) || hasOption
   }

tests/neg/i3736b.scala

@@ -0,0 +1,7 @@
+import foo.dynamics
+
+class Foo() extends Dynamic // error: extension of type scala.Dynamic needs to be enabled
+
+package foo {
+  class dynamic
+}