{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":")"}]}
    ) -> Obligation<'tcx, P> {
        value: impl Upcast<TyCtxt<'tcx>, P>,
        Obligation::with_depth(tcx, self.cause.clone(), self.recursion_depth, self.param_env, value)