{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug", skip_all, fields(source = ?self.source))]
{
    pub(in crate::solve) fn enter(