fn render_outlives_constraint(constraint: &OutlivesConstraint<'_>) -> String