[Copilot]

Integral ValidateRange bounds can allow out-of-range fractional values on double, single, and decimal parameters. The warning now covers array parameters and cast bounds while avoiding mixed-bound false positives.

• Detection: Check array element types, resolve cast target types (including aliases), and warn only when both bounds are integral.
• Regression coverage: Add cases for arrays, casts, aliases, and mixed bounds.

# Warns: array elements use integral boundaries
param([double[]][ValidateRange([int]0.0, [int32]100.0)]$Values)

# No warning: mixed bounds avoid the fractional-boundary issue
param([double][ValidateRange(1, 2.0)]$Value)

[Copilot]

🟢 Approval recommended

No active review issues are recorded for the expanded range-type detection and mixed-bound exclusions.

No open issues 🎉

What changed in this PR

Updates AvoidValidateRangeTypeMismatch to detect integral range bounds on floating-point and decimal array parameters and cast expressions, while avoiding mixed-bound false positives.

Changes:

• Resolve parameter and cast types through reflection, including aliases, and inspect array element types.
• Require both range bounds to be integral before warning.
• Add regression cases for arrays, casts, aliases, and mixed bounds.

File	Description
Tests/​Rules/​AvoidValidateRangeTypeMismatch.tests.ps1	Adds regression coverage for expanded detection and mixed-bound exclusions.
Rules/​AvoidValidateRangeTypeMismatch.cs	Updates type resolution, array handling, and boundary checks.

_{Review effort: Balanced}

[Christoph Bergmeister (bergmeister)]

Copilot why not keep existing test case for decimal type?

[Copilot]

Copilot why not keep existing test case for decimal type?

The prior decimal case used mixed bounds (1, 2.0), which should now be excluded. I restored decimal positive coverage with integral bounds (1, 2) in commit 09de08a.

[Copilot]

🟢 Approval recommended

No active review issues were identified for the expanded ValidateRange type-mismatch checks.

No open issues 🎉

_{Review effort: Balanced}