added `leap_assert_type`