fn type_asserts()