In order to make it easier for beginners to get started with writing Arduino sketches, and for the convenience of all users, Arduino CLI automatically generates and adds prototypes for functions ...
Now, adding an empty arduino.ino file to my project, it verifies and uploads without problems (not sure why it can't generate the IntelliSense config though): VS Code version info ...