[kiitos]

> the convention on the function authoring side is to always ensure T is valid.

I'm not sure where you got this idea from. It's not (in the general case) true. But do as you like, of course.