Annotating the assert functions with types.