{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"///"}]}
    /// derived obligations.
    /// Returns the base obligation and the base trait predicate, if any, ignoring
    pub fn peel_derives_with_predicate(&self) -> (&Self, Option<ty::PolyTraitPredicate<'tcx>>) {