RawIntegerWithoutRange validator examples are invalid

[tlindsay42]

Reference: https://smithy.io/2.0/guides/model-validation-examples.html#require-integers-to-have-a-range-constraint

The three RawIntegerWithoutRange examples do not work as-is because the selector navigates to the target shape, which is the built-in Integer type that doesn't have the trait. It should check for the trait on the member itself, not the target.

[kstich]

I think the validators for that are correct, they do exactly as they say in validating that every integer from an input has a range. The prelude Integer shape not having a range is separate, the service with the operations that trigger this validation would need to move away from using the prelude shape to an integer that has a defined range. This applies to the targeted integer shape so that ranges are consistent across members that target the shapes.

[tlindsay42]

DMed you internally offering a live repro.

[tlindsay42]

Closing per #2966 (comment)