I thought this was possible but after testing I am seeing that the local user just gets saved as the <username> (thus requiring a new code) and the AD user is saved as <domain>/<username>
You can check under the TOTP Authentication Server > Users
Please remember to mark solved once the thread is resolved. Kudos are also appreciated.