{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"//"}]}
        // of diagnostics.
        // subsequent weird logic to identify *every* relevant obligation for proper deduplication
        errors.sort_by_key(|error| error.root_obligation.recursion_depth);