{"ast_node_type":"import","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
/// param-env and cause code.
/// For [`Obligation`], a sub-obligation is combined with the current obligation's
impl<'tcx> Elaboratable<TyCtxt<'tcx>> for PredicateObligation<'tcx> {