Group --disallow-ignore-without-code with --warn-unused-ignores

Also make it non-strict for now. It may become part of --strict
in the future, though work may be needed to reduce the number of
'misc' errors before then.

Author: PeterJCLaw

docs/source/command_line.rst

@@ -440,6 +440,15 @@ potentially problematic or redundant in some way.
     These two flags let you discover cases where either workarounds are
     no longer necessary.
 
+.. option:: --disallow-ignore-without-code
+
+    This flag will disallow ``type: ignore`` comments which do not have
+    error codes::
+
+        prog.py:1: error: "type: ignore" comment without error code
+
+    See :ref:`error-codes` for more information.
+
 .. option:: --no-warn-no-return
 
     By default, mypy will generate errors when a function is missing
@@ -680,15 +689,6 @@ in error messages.
 
     See :ref:`error-codes` for more information.
 
-.. option:: --disallow-ignore-without-code
-
-    This flag will disallow ``type: ignore`` comments which do not have
-    error codes::
-
-        prog.py:1: error: "type: ignore" comment without error code
-
-    See :ref:`error-codes` for more information.
-
 .. option:: --pretty
 
     Use visually nicer output in error messages: use soft word wrap,

mypy/main.py

@@ -637,6 +637,9 @@ def add_invertible_flag(flag: str,
     add_invertible_flag('--warn-unused-ignores', default=False, strict_flag=True,
                         help="Warn about unneeded '# type: ignore' comments",
                         group=lint_group)
+    add_invertible_flag('--disallow-ignore-without-code', default=False,
+                        help="Disallow '# type: ignore' comments which do not have error codes",
+                        group=lint_group)
     add_invertible_flag('--no-warn-no-return', dest='warn_no_return', default=True,
                         help="Do not warn about functions that end without returning",
                         group=lint_group)
@@ -677,10 +680,6 @@ def add_invertible_flag(flag: str,
                              " non-overlapping types",
                         group=strictness_group)
 
-    add_invertible_flag('--disallow-ignore-without-code', default=False, strict_flag=True,
-                        help="Disallow 'type: ignore' comments which do not have error codes",
-                        group=strictness_group)
-
     strict_help = "Strict mode; enables the following flags: {}".format(
         ", ".join(strict_flag_names))
     strictness_group.add_argument(