Typecheck issue detectable when skipping --protocols
Typecheck issue detectable when skipping --protocols

We use --protocols because of a protobuf issue, but that hides more
legitimate checks. Fixed one such issue.

google/ml-compiler-opt,google/ml-compiler-opt