{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// If the `derived` obligation arose from a trait alias, which conceptually has a synthetic
    /// The `DefId` of the `impl` that gave rise to the `derived` obligation.
    /// impl, then this will be the `DefId` of that trait alias. Care should therefore be taken to