> Ah! Warnings are not the same as "errors". :) > Got it. We should probably disable those warnings anyway, as excessive warnings can hide new/real problems. Since this is an innocuous pattern that occurs frequently in our code, we don't need the check for it.