{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // If `Self` has unsafe fields, `Copy` is unsafe to implement.
    let trait_def_safety = if is_copy {
        if trait_header.trait_ref.skip_binder().self_ty().has_unsafe_fields() {