Retire mirror()

Inline the only caller site.

No functional change.