The loop would break before and if a patch was double defined, would not set its applied bit and thus throw an error.