{"ast_node_type":"function","tokens":[{"end":66,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn set_depth_from_parent(&mut self, parent_depth: usize) {
    /// of nested obligations using this function.
        self.recursion_depth = cmp::max(parent_depth + 1, self.recursion_depth);