{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
            let constraint = ty::OutlivesPredicate(c.sup.into(), c.sub);
            // Swap regions because we are going from sub (<=) to outlives (>=).
            (constraint, origin.to_constraint_category())