fix detection inside range loop

Author: Crocmagnon

pkg/analyzer/analyzer.go

@@ -461,6 +461,10 @@ func stmtSetsAllowImplicitForObj(stmt ast.Stmt, obj types.Object, pass *analysis
 		if handleForAllowImplicit(stmtNode, obj, pass) {
 			return true
 		}
+	case *ast.RangeStmt:
+		if handleRangeAllowImplicit(stmtNode, obj, pass) {
+			return true
+		}
 	case *ast.SwitchStmt:
 		if handleSwitchAllowImplicit(stmtNode, obj, pass) {
 			return true
@@ -647,3 +651,19 @@ func handleSwitchAllowImplicit(
 
 	return false
 }
+
+// handleRangeAllowImplicit scans a range statement's body for assignments or initializations
+// that set AllowImplicit for the given object. Mirrors ForStmt handling semantics.
+func handleRangeAllowImplicit(stmtNode *ast.RangeStmt, obj types.Object, pass *analysis.Pass) bool {
+	if stmtNode == nil || stmtNode.Body == nil {
+		return false
+	}
+
+	for _, st := range stmtNode.Body.List {
+		if stmtSetsAllowImplicitForObj(st, obj, pass) {
+			return true
+		}
+	}
+
+	return false
+}

pkg/analyzer/testdata/src/common/range_loops.go

@@ -16,7 +16,7 @@ func rangeLoops() {
 	for range []int{1, 2, 3} {
 		opts.AllowImplicit = true
 	}
-	db.BeginTransaction(ctx, arangodb.TransactionCollections{}, opts) // want "missing AllowImplicit option"
+	db.BeginTransaction(ctx, arangodb.TransactionCollections{}, opts)
 
 	// Control: no mutation in range.
 	opts2 := &arangodb.BeginTransactionOptions{}