{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
    /// directly.
    /// derived obligations, so we just store the trait predicate here
    pub parent_host_pred: ty::Binder<'tcx, ty::HostEffectPredicate<'tcx>>,