{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // If this cannot be done, then we are already stuck, so we stop early (hence the use
        // First, we attempt to refine the `expr` for our span using the parent obligation.
        // of the `?` try operator here).