diff --git a/community-build/community-projects/protoquill b/community-build/community-projects/protoquill
index 16d26fcb3072..8cb1cd76b340 160000
--- a/community-build/community-projects/protoquill
+++ b/community-build/community-projects/protoquill
@@ -1 +1 @@
-Subproject commit 16d26fcb30720b9aa81d29f08b9da10916e269a2
+Subproject commit 8cb1cd76b34022c802dcef1b79703d05e050611e
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
index a4f1bf3c5e80..c29269b2bc4f 100644
--- a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
+++ b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -748,7 +748,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
     }
 
diff --git a/language-server/test/dotty/tools/languageserver/CompletionTest.scala b/language-server/test/dotty/tools/languageserver/CompletionTest.scala
index c155694c494f..5d8d701a2233 100644
--- a/language-server/test/dotty/tools/languageserver/CompletionTest.scala
+++ b/language-server/test/dotty/tools/languageserver/CompletionTest.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 = {
diff --git a/library/src/scala/quoted/Quotes.scala b/library/src/scala/quoted/Quotes.scala
index 309e49be1370..6aa858cc6021 100644
--- a/library/src/scala/quoted/Quotes.scala
+++ b/library/src/scala/quoted/Quotes.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`.
diff --git a/library/src/scala/runtime/stdLibPatches/Predef.scala b/library/src/scala/runtime/stdLibPatches/Predef.scala
index 3b7d009ff6f3..b54e0e757ec1 100644
--- a/library/src/scala/runtime/stdLibPatches/Predef.scala
+++ b/library/src/scala/runtime/stdLibPatches/Predef.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
 
diff --git a/sbt-test/source-dependencies/inline-rec-change-inline/B.scala b/sbt-test/source-dependencies/inline-rec-change-inline/B.scala
index 61e61a620957..eaeef8d57ece 100644
--- a/sbt-test/source-dependencies/inline-rec-change-inline/B.scala
+++ b/sbt-test/source-dependencies/inline-rec-change-inline/B.scala
@@ -1,5 +1,5 @@
 object B {
 
-  inline def inlinedAny(x: String): x.type = x
+  inline def inlinedAny(x: String): String = x
 
 }
diff --git a/sbt-test/source-dependencies/inline-rec-change-inline/changes/B1.scala b/sbt-test/source-dependencies/inline-rec-change-inline/changes/B1.scala
index 4a1c47d38572..63104570fed4 100644
--- a/sbt-test/source-dependencies/inline-rec-change-inline/changes/B1.scala
+++ b/sbt-test/source-dependencies/inline-rec-change-inline/changes/B1.scala
@@ -1,5 +1,5 @@
 object B {
 
-  inline def inlinedAny(inline x: String): x.type = x
+  inline def inlinedAny(inline x: String): String = x
 
 }
diff --git a/scaladoc/src/dotty/tools/scaladoc/tasty/reflect.scala b/scaladoc/src/dotty/tools/scaladoc/tasty/reflect.scala
index b48519e29d28..419beac50134 100644
--- a/scaladoc/src/dotty/tools/scaladoc/tasty/reflect.scala
+++ b/scaladoc/src/dotty/tools/scaladoc/tasty/reflect.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
diff --git a/tests/neg/inline-param-unstable-path.scala b/tests/neg/inline-param-unstable-path.scala
new file mode 100644
index 000000000000..be2d7142bc2f
--- /dev/null
+++ b/tests/neg/inline-param-unstable-path.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
diff --git a/tests/neg/inline-val-in-inline-method.scala b/tests/neg/inline-val-in-inline-method.scala
new file mode 100644
index 000000000000..fbd0f69ff2d5
--- /dev/null
+++ b/tests/neg/inline-val-in-inline-method.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
diff --git a/tests/pos/i11163.scala b/tests/pos/i11163.scala
index acf5629d1ae9..7f220d15e392 100644
--- a/tests/pos/i11163.scala
+++ b/tests/pos/i11163.scala
@@ -1,5 +1,5 @@
 inline def summonA[T](using x: T): x.type = x
-inline def summonB[T](using inline x: T): x.type = x
+// inline def summonB[T](using inline x: T): x.type = x // inline parameters are unstable
 inline def summonC[T](using inline x: T): T = x
 
 trait Foo:
@@ -7,6 +7,6 @@ trait Foo:
 
 def test(using Foo) =
   summonA[Foo].f
-  summonB[Foo].f
+  // summonB[Foo].f
   summonC[Foo].f
   ()
diff --git a/tests/pos/i12379a.scala b/tests/pos/i12379a.scala
index 0a1bc8461226..9ca2404e0871 100644
--- a/tests/pos/i12379a.scala
+++ b/tests/pos/i12379a.scala
@@ -1,7 +1,7 @@
-inline def convFail[Of, From](inline from : From) : Unit =
+inline def convFail[Of, From](from : From) : Unit = // removed inline from parameter to avoid unsound path selection
   val c = compiletime.summonInline[Conversion[from.type, Of]]
 
-inline def convOK[Of, From](inline from : From)(using c : Conversion[from.type, Of]) : Unit = {}
+inline def convOK[Of, From](from : From)(using c : Conversion[from.type, Of]) : Unit = {} // removed inline from parameter to avoid unsound path selection
 
 class Bar[T](value : T)
 given [T <: Int] : Conversion[T, Bar[T]] = Bar(_)
diff --git a/tests/run/deriving-constructor-order.scala b/tests/run/deriving-constructor-order.scala
index 0a3fcde7f84f..d71e73c95d23 100644
--- a/tests/run/deriving-constructor-order.scala
+++ b/tests/run/deriving-constructor-order.scala
@@ -2,7 +2,7 @@ import scala.compiletime.erasedValue
 import scala.deriving.Mirror
 
 object Test extends App {
-  inline def checkElems[A, T](using inline A: Mirror.SumOf[A]): Unit =
+  inline def checkElems[A, T](using A: Mirror.SumOf[A]): Unit = // removed inline from parameter to avoid unsound path selection
     inline erasedValue[A.MirroredElemTypes] match {
       case _: T => ()
     }