Improve effect propagation by skipping hooks in trackCall

compiler/sempass2.nim

@@ -1158,7 +1158,9 @@ proc trackCall(tracked: PEffects; n: PNode) =
         else:
           if laxEffects notin tracked.c.config.legacyFeatures and a.kind == nkSym and
               a.sym.kind in routineKinds:
-            propagateEffects(tracked, n, a.sym)
+            let (isHook, opKind) = findHookKind(a.sym.name.s)
+            if (not isHook) or opKind notin {attachedAsgn, attachedSink, attachedDup}:
+              propagateEffects(tracked, n, a.sym)
       else:
         mergeRaises(tracked, effectList[exceptionEffects], n)
         mergeTags(tracked, effectList[tagEffects], n)

tests/effects/thooks.nim

@@ -13,4 +13,12 @@ proc send(x: string) =
   let wrapper = Thing(x: x)
   discard isolate(wrapper)
 
-send("la")
+send("la")
+
+block:
+  func enqueue[T](buf: var array[10, T], elem: sink T) =
+    `=sink`(buf[0], elem)
+
+  var buf: array[10, int]
+  enqueue(buf, 42)
+  assert buf[0] == 42