@Override
        public Void structureShape(StructureShape shape) {
            crawlStructuredShape(shape);
            return null;
        }
Traits in this list have special backward compatibility rules and can't be validated here.
smithy-diff/src/main/java/software/amazon/smithy/diff/evaluators/ModifiedTrait.java