{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":")"}]}
) -> ControlFlow<DiagMessage, ()> {
    variant: &ty::VariantDef,
    // non_exhaustive suggests it is possible that someone might break ABI