Assert overloads that asserts all static/future arrangements on given type