{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"match"}]}
    match (trait_def_safety, unsafe_attr, trait_header.safety, trait_header.polarity) {
        (Safety::Safe, None, Safety::Unsafe, Positive | Reservation) => {