The only risks for HIV in adults are:
1) Having unprotected anal or vaginal sex, or
2) sharing intravenous needles with IV drug users.
Nothing else you can think of is a risk for HIV. Using a condom that does not visibly break protects you from HIV. There is no "what if" that you could add to this event that would make it a risk for HIV.