this is fine; as you said, I'm wrong and it does compile