am 3057d341: am a6b22c5b: Verifier allows arguments of integral types to be interchangeable.

* commit '3057d341c253070621075c9bea8e1ba56c1ccf36':
  Verifier allows arguments of integral types to be interchangeable.