$ 0 0 -implicitnone would not be a new option, it already exists. My suggestion was to make it equivalent to "-warn declarations -diag-error 6717", since I believe it is more natural given its name.
-implicitnone would not be a new option, it already exists. My suggestion was to make it equivalent to "-warn declarations -diag-error 6717", since I believe it is more natural given its name.