There is another way of saying that we should always write implicit none. When we do not write, the specific problems that arise may be determined by the compiler. (I don’t know. If anyone are interested, you can check the Fortran standard)
If there is a description in the standard that can prove that this is a bug, I think it is the best.
When the standard lacks instructions and different implementations of the compiler, it may not be a bug.