{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: It would possibly be better to do this more continuously, at each level...
        // If it doesn't overlap the existing span at all, use the original span.
        error.obligation.cause.span = expr