Function case_dispatch_name

cmd/gravity/src/lib.rs:45–53

Kebab-case Go name for the type a variant case dispatches against in a type-switch.

(variant_name: &str, case: &Case, resolve: &Resolve)

/// Kebab-case Go name for the type a variant case dispatches against in a
/// type-switch.
pub fn case_dispatch_name(variant_name: &str, case: &Case, resolve: &Resolve) -> String {
    match case_dispatch_kind(case, resolve) {
        CaseDispatchKind::DirectRecord => match case.ty {
            Some(Type::Id(payload_id)) => qualified_type_name(payload_id, resolve),
            _ => unreachable!("DirectRecord requires a Type::Id payload"),
        },
        CaseDispatchKind::Wrapped => format!("{variant_name}-{}", case.name),
    }
}

/// Returns a globally-unique kebab-case name suitable for deriving a Go
/// identifier from a WIT type. WIT lets two interfaces declare types of