{"ast_node_type":"variable","tokens":[{"end":35,"kind":"keyword","start":0,"text":"let"}]}
        let min = c.sup.min(c.sub);
    let constraint_key = |c: &OutlivesConstraint<'_>| {
        let max = c.sup.max(c.sub);