{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":")"}]}
                        )
                            format!("the value {value:#x} is not a proper {switch_ty}"),
                    }