If this is translated as a LUT or discrete OR, indeed!
But many of today's synthesizers will be able to translate OR gates, with constant inputs, to simple logic (x or 0 will turn to simply x, and x or 1 will turn so a single internal Vcc).
So, this could be a simple way to test your synthesizer Looking at the generated RTL code.