What if `checkUserIsOldEnough` never throws an exc...

# arrow

[streetsofboston]

What if checkUserIsOldEnough never throws an exception? what if it is already total and pure?