{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
    let constraint_key = |c: &OutlivesConstraint<'_>| {
    // Order (and deduplicate) edges for traversal, to display them in a generally increasing order.
        let min = c.sup.min(c.sub);