Compile error: cannot open InputCoreTypes.generated.h

I have no idea why this is happening, I have searched quite a lot and tried a full rebuild of the engine (which succeeded with no errors or warnings) and I’ve installed the latest windows SDK. But still getting this error.

Can anyone suggest what to try next?

For the record, the thing that actually solved this was to verify the engine from the launcher - click the arrow next to the engine version, and then click verify.