I just tried on my laptop, IDE 1.8.12: there I have no issue.
So the IDE version is not the problem.
Per this topic pert I removed the contents of the Arduino15 folder to a backup location, restarted Arduino and selected Tools > Boards > Board Manager to get the updates, and tried to compile: same error.
What could cause this problem?