Handle overloaded inherited conflicting denot

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -439,8 +439,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                 if owner.is(Package) then
                   owner.denot.asClass.membersNamed(name)
                     .filterWithPredicate(d => !d.symbol.is(Package)
-                      && denot.symbol.source.exists
-                      && d.symbol.source == denot.symbol.source)
+                      && denot.alternatives.exists(alt => alt.symbol.source.exists && alt.symbol.source == d.symbol.source))
                 else
                   val scope = if owner.isClass then owner.info.decls else outer.scope
                   scope.denotsNamed(name)
@@ -481,7 +480,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                 result = checkNewOrShadowed(found, Definition) // no need to go further out, we found highest prec entry
                 found match
                   case found: NamedType
-                  if curOwner.isClass && found.denot.exists && isInherited(found.denot) && !ctx.compilationUnit.isJava =>
+                  if curOwner.isClass && isInherited(found.denot) && !ctx.compilationUnit.isJava =>
                     checkNoOuterDefs(found.denot, ctx, ctx)
                   case _ =>
               else

tests/neg/i17433.check

@@ -0,0 +1,8 @@
+-- [E049] Reference Error: tests/neg/i17433.scala:9:10 -----------------------------------------------------------------
+9 |  def g = f(42) // error
+  |          ^
+  |          Reference to f is ambiguous.
+  |          It is both defined in package <empty>
+  |          and inherited subsequently in class D
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/i17433.scala

@@ -0,0 +1,12 @@
+
+class C:
+  def f(i: Int) = i + 1
+  def f(s: String) = s + "_1"
+
+def f = 42
+
+class D extends C:
+  def g = f(42) // error
+
+@main def test() = println:
+  D().g