@Override
    public void write(DocWriter writer, String previousText, ShapeSubheadingSection section) {
        var defaultValue = section.shape().getMemberTrait(section.context().model(), DefaultTrait.class).get().toNode();
        writer.write("""
                $B $`

                $L""", "Default Value:", Node.printJson(defaultValue), previousText);
    }
Adds default value information to trait documentation.
smithy-docgen/src/main/java/software/amazon/smithy/docgen/interceptors/DefaultValueInterceptor.java