> giving a warning when it fails to This is the critical point. If CI fails or otherwise you are warned when the loop doesn't vectorize, then you can count on

> giving a warning when it fails to This is the critical point. If CI fails or otherwise you are warned when the loop doesn't vectorize, then you can count on it to always happen