{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// Allows making `dyn Trait` well-formed even if `Trait` is not dyn compatible[^1].
    (removed, dropck_parametricity, "1.38.0", Some(28498), None),
    /// In that case, `dyn Trait: Trait` does not hold. Moreover, coercions and