fn _assert_types()