Merge pull request #7804 from dotty-staging/fix-#7798

Fix #7798: Change ForceDegree to noBottom in inline

Author: biboudis

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

@@ -275,7 +275,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(implicit ctx: Context) {
   // Make sure all type arguments to the call are fully determined,
   // but continue if that's not achievable (or else i7459.scala would crash).
   for arg <- callTypeArgs do
-    isFullyDefined(arg.tpe, ForceDegree.all)
+    isFullyDefined(arg.tpe, ForceDegree.noBottom)
 
   /** A map from parameter names of the inlineable method to references of the actual arguments.
    *  For a type argument this is the full argument type.

tests/run/i7798.scala

@@ -0,0 +1,6 @@
+object Test {
+  inline def meth[R <: Int]: R = 3.asInstanceOf[R]
+  def main(args: Array[String]): Unit = {
+    val t: Int = meth
+  }
+}