Fixes #15736

Box native instantiated method return type if sam method return type
is not a primitive type to satisfy conditions specified in
  https://docs.oracle.com/javase/8/docs/api/java/lang/invoke/LambdaMetafactory.html
Condition is not enforced by JVM but by Android ART.

Author: ddtthh

compiler/src/dotty/tools/backend/jvm/BCodeBodyBuilder.scala

@@ -1773,8 +1773,6 @@ trait BCodeBodyBuilder extends BCodeSkelBuilder {
       val returnUnit = lambdaTarget.info.resultType.typeSymbol == defn.UnitClass
       val functionalInterfaceDesc: String = generatedType.descriptor
       val desc = capturedParamsTypes.map(tpe => toTypeKind(tpe)).mkString(("("), "", ")") + functionalInterfaceDesc
-      // TODO specialization
-      val instantiatedMethodType = new MethodBType(lambdaParamTypes.map(p => toTypeKind(p)), toTypeKind(lambdaTarget.info.resultType)).toASMType
 
       val samMethod = atPhase(erasurePhase) {
         val samMethods = toDenot(functionalInterface).info.possibleSamMethods.toList
@@ -1787,7 +1785,29 @@ trait BCodeBodyBuilder extends BCodeSkelBuilder {
       }
 
       val methodName = samMethod.javaSimpleName
-      val samMethodType = asmMethodType(samMethod).toASMType
+      val samMethodBType = asmMethodType(samMethod)
+      val samMethodType = samMethodBType.toASMType
+
+      def boxInstantiated(instantiatedType: BType, samType: BType): BType =
+        if(!samType.isPrimitive && instantiatedType.isPrimitive)
+          boxedClassOfPrimitive(instantiatedType.asPrimitiveBType)
+        else instantiatedType
+      // TODO specialization
+      val instantiatedMethodBType = new MethodBType(
+        lambdaParamTypes.map(p =>  toTypeKind(p)),
+        boxInstantiated(toTypeKind(lambdaTarget.info.resultType), samMethodBType.returnType)
+      )
+
+      // check that types are equal for parameters and return type as required by spec of altMetafactory
+      def checkInstantiated(a: BType, b: BType): Boolean =
+        (!a.isPrimitive && !b.isPrimitive) || (a.isPrimitive && b.isPrimitive && a == b)
+      assert(
+        samMethodBType.argumentTypes.zip(instantiatedMethodBType.argumentTypes).forall(checkInstantiated) && checkInstantiated(samMethodBType.returnType,
+        instantiatedMethodBType.returnType), s"Primitive types must be equal: ${samMethodBType} vs. $instantiatedMethodBType"
+      )
+
+      val instantiatedMethodType = instantiatedMethodBType.toASMType
+
       // scala/bug#10334: make sure that a lambda object for `T => U` has a method `apply(T)U`, not only the `(Object)Object`
       // version. Using the lambda a structural type `{def apply(t: T): U}` causes a reflective lookup for this method.
       val needsGenericBridge = samMethodType != instantiatedMethodType