Removing the @ is not an option, we're relying on the side effect of include*() that implicitly checks for the existence of the requested file. Running an explicit check via file_exists() or is_readable() is quite expensive at this point, because PHP tends to skip the statcache under certain circumstances. This has a significant performance penalty for sites running on cheaper webhosting offers that still make use of "spinning rust" (HDD).
The original issue can be easily avoided by using a proper IDE with static code analysis (for example, Visual Studio Code would do) that will report these kind of issues ahead of time.
We're not going to make any changes at this time, because the drawbacks of such a change are too severe with little to no benefit on average. Furthermore, this is not a bug, because the code does exactly what is was purposely instructed to do.