@inbounds equivalent for type assertions

This occurred to me as related to your question:

See also: Be aware of when Julia avoids specializing