Function constraint_str 

fn constraint_str<'tcx>(
    constraint: Constraint<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> String