{"ast_node_type":"function","tokens":[{"end":42,"kind":"keyword","start":0,"text":"fn"}]}
    fn add_required_obligations_with_code(
    #[instrument(level = "debug", skip(self, code, span, args))]
        &self,