{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
    /// or a trait alias.
    /// Derived obligation (i.e. `where` clause) on an user-provided impl
    ImplDerived(Box<ImplDerivedCause<'tcx>>),