Value

Ts can always be bitwise constructed from itself if it is trivially copyable.