Prevent warnings or errors from shadowNames, conditionally
Prevent warnings or errors from shadowNames, conditionally

In some cases, it's nice to prevent errors/warnings from coming out of
shadowNames.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol