{"ast_node_type":"function","tokens":[{"end":24,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) fn solve(
    #[instrument(skip(self, infcx, body, polonius_output), level = "debug")]
        &mut self,