{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// The `DefId` of the `impl` that gave rise to the `derived` obligation.
    pub derived: DerivedCause<'tcx>,
    /// If the `derived` obligation arose from a trait alias, which conceptually has a synthetic