I don't think it's a bug.

I don't think it should affect the business logic of the code, but for me personally I would choose the getAField() method, since in my opinion it's more correct.

If you want, you can make a report to JetBrains, maybe they will comment on it.

Good luck with programming!