Then t would never be able to overflow s (nor even eat its null terminator)
The things you listed are general concerns in C which are unrelated to both the correct implementation and the suggested changes.
Then t would never be able to overflow s (nor even eat its null terminator)