Changes to adaptation and local type inference.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala
index 72ed20454..7582b0d0d 100644
--- a/src/dotty/tools/dotc/typer/Namer.scala
+++ b/src/dotty/tools/dotc/typer/Namer.scala
@@ -7,7 +7,7 @@ import ast._
 import Trees._, Constants._, StdNames._, Scopes._, Denotations._
 import Contexts._, Symbols._, Types._, SymDenotations._, Names._, NameOps._, Flags._, Decorators._
 import ast.desugar, ast.desugar._
-import Inferencing.AnySelectionProto
+import Inferencing.{fullyDefinedType, AnySelectionProto}
 import util.Positions._
 import util.SourcePosition
 import collection.mutable
@@ -385,7 +385,9 @@ class Namer { typer: Typer =>
               tp & itpe
             }
         }
-        inherited orElse typedAheadExpr(mdef.rhs).tpe.widen
+        def rhsType = interpolateAndAdapt(typedAheadExpr(mdef.rhs), WildcardType).tpe.widen
+        def lhsType = fullyDefinedType(rhsType, "right-hand side", mdef.pos)
+        inherited orElse lhsType
       }
     paramFn(typedAheadType(mdef.tpt, pt).tpe)
   }