2 files changed, 11 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
index 870198027..222717e7e 100644
--- a/compiler/src/dotty/tools/dotc/typer/Applications.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -450,7 +450,16 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
 
     def typedArg(arg: Arg, formal: Type): Arg = arg
     def addArg(arg: TypedArg, formal: Type) =
-      ok = ok & isCompatible(argType(arg, formal), formal)
+      ok = ok & {
+        argType(arg, formal) match {
+          case ref: TermRef if ref.denot.isOverloaded =>
+            // in this case we could not resolve overloading because no alternative
+            // matches expected type
+            false
+          case argtpe =>
+            isCompatible(argtpe, formal)
+        }
+      }
     def makeVarArg(n: Int, elemFormal: Type) = {}
     def fail(msg: => Message, arg: Arg) =
       ok = false
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
index 48f9243f7..1ca7eb107 100644
--- a/compiler/src/dotty/tools/dotc/typer/Checking.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -327,7 +327,7 @@ object Checking {
       if (!sym.is(Deferred))
         fail(i"`@native' members may not have implementation")
     }
-    else if (sym.is(Deferred, butNot = Param) && !sym.isSelfSym) {
+    else if (sym.is(Deferred, butNot = Param) && !sym.isType && !sym.isSelfSym) {
       if (!sym.owner.isClass || sym.owner.is(Module) || sym.owner.isAnonymousClass)
         fail(i"only classes can have declared but undefined members$varNote")
       checkWithDeferred(Private)