Sure, other than that the patch compiles fine on their end, and the diagnostic is not something you are willing to disable, or address with an additional code change on top of their patch.

It's better if the deal-breaker diagnostics are on for everyone, so that everyone is working in the same programming language dialect.