{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"error.obligation.cause.span"}]}
        error.obligation.cause.span = expr
        // FIXME: It would possibly be better to do this more continuously, at each level...
            .span