Best of both worlds: use static analysis to ensure the header is included?