Fix #8012: Disallow conversion to underspecified SAM type

We cannot write

    class C extends B[?]

By the same token, we cannot do a SAM type conversion to B[?]
since this would create code like the one above.

Author: odersky

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

@@ -1100,15 +1100,16 @@ class Typer extends Namer
               case SAMType(sam)
               if !defn.isFunctionType(pt) && mt <:< sam =>
                 val targetTpe =
-                  if (!isFullyDefined(pt, ForceDegree.all))
-                    if (pt.isRef(defn.PartialFunctionClass))
-                      // Replace the underspecified expected type by one based on the closure method type
-                      defn.PartialFunctionOf(mt.firstParamTypes.head, mt.resultType)
-                    else {
-                      ctx.error(ex"result type of lambda is an underspecified SAM type $pt", tree.sourcePos)
-                      pt
-                    }
-                  else pt
+                  if isFullyDefined(pt, ForceDegree.all)
+                     && !pt.argInfos.exists(_.isInstanceOf[TypeBounds])
+                  then
+                    pt
+                  else if pt.isRef(defn.PartialFunctionClass) then
+                    // Replace the underspecified expected type by one based on the closure method type
+                    defn.PartialFunctionOf(mt.firstParamTypes.head, mt.resultType)
+                  else
+                    ctx.error(ex"result type of lambda is an underspecified SAM type $pt", tree.sourcePos)
+                    pt
                 if (pt.classSymbol.isOneOf(FinalOrSealed)) {
                   val offendingFlag = pt.classSymbol.flags & FinalOrSealed
                   ctx.error(ex"lambda cannot implement $offendingFlag ${pt.classSymbol}", tree.sourcePos)

tests/neg/i8012.scala

@@ -0,0 +1,13 @@
+
+
+@FunctionalInterface
+abstract class Q[A] {
+  def apply(a: A): Int
+}
+
+class C extends Q[?]  // error: Type argument must be fully defined
+
+object O {
+  def m(i: Int): Int = i
+  val x: Q[_] = m // error: result type of lambda is an underspecified SAM type Q[?]
+}