Comment by eru

Yes, you can definitely manually define it. I was talking about what we can reasonably expect the compiler to figure out on its own.