redefine assertion type using defined type