{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// casts in safe Rust to `dyn Trait` for such a `Trait` is also forbidden.
    /// Renamed from `object_safe_for_dispatch`.