{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"WellFormedDerived(DerivedCause<'tcx>),"}]}
    WellFormedDerived(DerivedCause<'tcx>),
    /// Derived obligation for WF goals.