Fix stability check for inline parameters

Inline parameters are not stable. Two references to the same parameter
may not be idempotent.

Author: nicolasstucki

community-build/community-projects/protoquill

@@ -742,7 +742,7 @@ object SymDenotations {
       * So the first call to a stable member might fail and/or produce side effects.
       */
     final def isStableMember(using Context): Boolean = {
-      def isUnstableValue = isOneOf(UnstableValueFlags) || info.isInstanceOf[ExprType]
+      def isUnstableValue = isOneOf(UnstableValueFlags) || info.isInstanceOf[ExprType] || isAllOf(InlineParam)
       isType || is(StableRealizable) || exists && !isUnstableValue
     }
 

compiler/src/dotty/tools/dotc/core/SymDenotations.scala

@@ -27,7 +27,7 @@ class CompletionTest {
 
   @Test def completionFromNewScalaPredef: Unit = {
     code"class Foo { val foo = summ${m1} }"
-      .completion(("summon", Method, "[T](using x: T): x.type"))
+      .completion(("summon", Method, "[T](using x: T): T"))
   }
 
   @Test def completionFromScalaPackage: Unit = {

language-server/test/dotty/tools/languageserver/CompletionTest.scala

@@ -14,7 +14,7 @@ import scala.reflect.TypeTest
  *  }
  *  ```
  */
-transparent inline def quotes(using inline q: Quotes): q.type = q
+transparent inline def quotes(using q: Quotes): q.type = q
 
 /** Quotation context provided by a macro expansion or in the scope of `scala.quoted.staging.run`.
  *  Used to perform all operations on quoted `Expr` or `Type`.

library/src/scala/quoted/Quotes.scala

@@ -31,7 +31,7 @@ object Predef:
    *  @tparam T the type of the value to be summoned
    *  @return the given value typed: the provided type parameter
    */
-  transparent inline def summon[T](using inline x: T): x.type = x
+  transparent inline def summon[T](using inline x: T): T = x
 
   // Extension methods for working with explicit nulls
 

library/src/scala/runtime/stdLibPatches/Predef.scala

@@ -1,5 +1,5 @@
 object B {
 
-  inline def inlinedAny(x: String): x.type = x
+  inline def inlinedAny(x: String): String = x
 
 }

sbt-test/source-dependencies/inline-rec-change-inline/B.scala

@@ -1,5 +1,5 @@
 object B {
 
-  inline def inlinedAny(inline x: String): x.type = x
+  inline def inlinedAny(inline x: String): String = x
 
 }

sbt-test/source-dependencies/inline-rec-change-inline/changes/B1.scala

@@ -4,4 +4,4 @@ package tasty
 import scala.quoted._
 
 /** Shorthand for `quotes.reflect` */
-transparent inline def reflect(using inline q: Quotes): q.reflect.type = q.reflect
+transparent inline def reflect(using q: Quotes): q.reflect.type = q.reflect

scaladoc/src/dotty/tools/scaladoc/tasty/reflect.scala

@@ -0,0 +1,6 @@
+inline val a = 3
+inline def f(inline x: Int, y: Int, z: => Int): Unit =
+  val x2: x.type = x // error: (x : Int) is not a valid singleton type, since it is not an immutable path
+  val y2: y.type = y
+  val z2: z.type = z // error: (z : Int) is not a valid singleton type, since it is not an immutable path
+  val a2: a.type = a

tests/neg/inline-param-unstable-path.scala

@@ -0,0 +1,8 @@
+inline def f(inline x: Int): Unit =
+  inline val b = x
+  val c: b.type = b
+
+def test =
+  f(1)
+  def a = 1
+  f(a) // error: inline value must have a literal constant type