Don't treat consume class parameters as refining accessors

We don't want to know what the argument type was, since a consume parameter
gets integrated in the class cap.

Author: odersky

compiler/src/dotty/tools/dotc/cc/CaptureOps.scala

@@ -583,13 +583,16 @@ extension (sym: Symbol)
     && !defn.isPolymorphicAfterErasure(sym)
     && !defn.isTypeTestOrCast(sym)
 
-  /** It's a parameter accessor that is not annotated @constructorOnly or @uncheckedCaptures */
+  /** It's a parameter accessor that is not annotated @constructorOnly or @uncheckedCaptures
+   *  and that is not a consume accessor.
+   */
   def isRefiningParamAccessor(using Context): Boolean =
     sym.is(ParamAccessor)
     && {
       val param = sym.owner.primaryConstructor.paramNamed(sym.name)
       !param.hasAnnotation(defn.ConstructorOnlyAnnot)
       && !param.hasAnnotation(defn.UntrackedCapturesAnnot)
+      && !param.hasAnnotation(defn.ConsumeAnnot)
     }
 
   def hasTrackedParts(using Context): Boolean =

tests/pos-custom-args/captures/paths-simple-suffix-consume.scala

@@ -0,0 +1,37 @@
+import language.experimental.captureChecking
+import language.experimental.separationChecking
+import caps.*
+
+// Create a deep nesting structure for testing suffix paths
+class D
+class C(val d: D^)
+class B(val c: C^)
+class A(consume val b: B^) extends Mutable { var x: Int = 0 }
+
+// Test 1: Simple suffix paths after consume
+def test1 =
+  val d: D^ = D()
+  val c: C^ = C(d)
+  val b: B^ = B(c)
+  val a = A(b)
+
+  // After 'a' consumes 'b', access nested fields:
+  println(a.b)       // OK - consumed field
+  println(a.b.c)     // OK - suffix: .c after consumed field
+  println(a.b.c.d)   // OK - suffix: .c.d after consumed field
+
+// Test 2: Non-consume wrapper with consumed inner field
+class Holder(val a: A^)  // Note: NOT consume
+
+def test2 =
+  val d: D^ = D()
+  val c: C^ = C(d)
+  val b: B^ = B(c)
+  val a = A(b)
+  val holder = Holder(a)
+
+  // Access through holder.a.b where b was consumed by a:
+  println(holder.a)         // OK - not consumed
+  println(holder.a.b)       // OK - accessing consumed field through prefix
+  println(holder.a.b.c)     // OK - suffix .c
+  println(holder.a.b.c.d)   // OK - suffix .c.d