@Test
    void validateModelThrowsOnTraceFileWithoutAllModelShapeIDs()
            throws ExpectationNotMetException, URISyntaxException, FileNotFoundException {
        Assertions.assertThrows(ExpectationNotMetException.class, () -> {
            TraceFile traceFile =
                    parseTraceFileFromFile(getClass().getResource("trace-for-model-validation.json").toURI());
            traceFile.validateModel(assembleModelTestHelper("service-with-shapeids.smithy"));
        });
    }
Validate TraceFile use tests
validateTypesOrTags throws with invalid type, and throws with invalid tags
validateModel works with valid input, throws with invalid model/trace file pair
smithy-codegen-core/src/test/java/software/amazon/smithy/codegen/core/trace/TraceFileTest.java