remove trivial comparison when a deducted type is unsigned