Indeed, but nowadays it’s common to add the annotations to claw back a bit of more powerful code linting.