fn dedup_dtorck_constraint(c: &mut DropckConstraint<'_>)