Module {
    source_file: Some(
        "MANIFEST_PATH/tests/examples/union_rename_variant.sdm",
    ),
    file_id: Some(
        0,
    ),
    span: Some(
        Span {
            start: 0,
            end: 117,
        },
    ),
    name: Identifier {
        span: Some(
            Span {
                start: 40,
                end: 48,
            },
        ),
        value: "campaign",
    },
    base_uri: None,
    version_info: None,
    version_uri: None,
    body: ModuleBody {
        span: Some(
            Span {
                start: 49,
                end: 116,
            },
        ),
        file_id: None,
        is_library: false,
        imports: [],
        annotations: [],
        definitions: [
            Union(
                UnionDef {
                    span: Some(
                        Span {
                            start: 55,
                            end: 111,
                        },
                    ),
                    name: Identifier {
                        span: Some(
                            Span {
                                start: 61,
                                end: 73,
                            },
                        ),
                        value: "VehicleClass",
                    },
                    body: Some(
                        UnionBody {
                            span: Some(
                                Span {
                                    start: 74,
                                    end: 111,
                                },
                            ),
                            annotations: [],
                            variants: [
                                TypeVariant {
                                    span: Some(
                                        Span {
                                            start: 81,
                                            end: 84,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 81,
                                                    end: 84,
                                                },
                                            ),
                                            value: "Car",
                                        },
                                    ),
                                    rename: None,
                                    body: None,
                                },
                                TypeVariant {
                                    span: Some(
                                        Span {
                                            start: 89,
                                            end: 105,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 89,
                                                    end: 93,
                                                },
                                            ),
                                            value: "Boat",
                                        },
                                    ),
                                    rename: Some(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 97,
                                                    end: 105,
                                                },
                                            ),
                                            value: "WaterCar",
                                        },
                                    ),
                                    body: None,
                                },
                            ],
                        },
                    ),
                },
            ),
        ],
    },
}
