Does `index_add_` work with repeated indexes?

2

I would rely on the posted comment as also given here, since this undefined behavior in index_add matches numpy’s behavior for indexing.