{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// casts in safe Rust to `dyn Trait` for such a `Trait` is also forbidden.
    /// In that case, `dyn Trait: Trait` does not hold. Moreover, coercions and
    ///