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