Finish transition to `assertType`