挙動を仕様書で厳密に定義しているJavaScriptではこうなってた
https://tc39.es/ecma262/multipage/text-processing.html#sec-regexp.prototype-@@replace

・1回目のマッチが "abc" すべてを消費する
・2回目のマッチは文字列末尾から始まるけど正規表現が.*なのでマッチングに成功する
　ただし空文字にマッチした場合、先へ進まなくなることを回避するために
　次回開始位置を一つ後ろへずらす処理が入る (12.c.iii.2以下)
　これにより3回目のマッチは文字列の終端+1という範囲外の位置から始まることになり失敗に終わる