@Override
    protected Class<RangeTrait> getTraitType() {
        return RangeTrait.class;
    }
Detects when the Range trait is made more restrictive by either
raising the min or lowering the max.
smithy-diff/src/main/java/software/amazon/smithy/diff/evaluators/ChangedRangeTrait.java