diff --git a/compiler/injectdestructors.nim b/compiler/injectdestructors.nim index 84473aabc919..f5e525e0083f 100644 --- a/compiler/injectdestructors.nim +++ b/compiler/injectdestructors.nim @@ -352,6 +352,8 @@ proc passCopyToSink(n: PNode; c: var Con): PNode = ("passing '$1' to a sink parameter introduces an implicit copy; " & "use 'move($1)' to prevent it") % $n) else: + if c.graph.config.selectedGC in {gcArc, gcOrc}: + assert(not containsGarbageCollectedRef(n.typ)) result.add newTree(nkAsgn, tmp, p(n, c, normal)) result.add tmp diff --git a/compiler/liftdestructors.nim b/compiler/liftdestructors.nim index daf91954b05b..b9b121070361 100644 --- a/compiler/liftdestructors.nim +++ b/compiler/liftdestructors.nim @@ -656,7 +656,7 @@ proc fillBody(c: var TLiftCtx; t: PType; body, x, y: PNode) = of tyTuple: fillBodyTup(c, t, body, x, y) of tyVarargs, tyOpenArray: - if c.kind == attachedDestructor: + if c.kind == attachedDestructor and (tfHasAsgn in t.flags or useNoGc(c, t)): forallElements(c, t, body, x, y) else: discard "cannot copy openArray" diff --git a/compiler/sempass2.nim b/compiler/sempass2.nim index 1b9c388b3ba5..042cd9a6e284 100644 --- a/compiler/sempass2.nim +++ b/compiler/sempass2.nim @@ -907,9 +907,15 @@ proc track(tracked: PEffects, n: PNode) = nkMacroDef, nkTemplateDef, nkLambda, nkDo, nkFuncDef: discard of nkCast, nkHiddenStdConv, nkHiddenSubConv, nkConv: - if n.len == 2: track(tracked, n[1]) + if n.len == 2: + track(tracked, n[1]) + if tracked.owner.kind != skMacro: + createTypeBoundOps(tracked, n.typ, n.info) of nkObjUpConv, nkObjDownConv, nkChckRange, nkChckRangeF, nkChckRange64: - if n.len == 1: track(tracked, n[0]) + if n.len == 1: + track(tracked, n[0]) + if tracked.owner.kind != skMacro: + createTypeBoundOps(tracked, n.typ, n.info) of nkBracket: for i in 0..