Change the error code to a random error code and allow the error to happen

Author: davidhalter

conformance/results/mypy/directives_type_ignore.toml

@@ -5,6 +5,8 @@ Does not honor "# type: ignore" comment if comment includes additional text.
 output = """
 directives_type_ignore.py:11: error: Invalid "type: ignore" comment  [syntax]
 directives_type_ignore.py:11: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
+directives_type_ignore.py:16: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
+directives_type_ignore.py:16: note: Error code "assignment" not covered by "type: ignore" comment
 """
 conformance_automated = "Fail"
 errors_diff = """

conformance/results/results.html

@@ -1193,7 +1193,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant">Pass</th>
-<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Treats `# type: ignore[error-code]` as only ignoring errors that match the error code `error-code`.</p></span></div></th>
+<th class="column col2 conformant">Pass</th>
 </tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;directives_type_ignore_file1</th>
 <th class="column col2 conformant">Pass</th>

conformance/results/ty/directives_type_ignore.toml

@@ -1,10 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Treats `# type: ignore[error-code]` as only ignoring errors that match the error code `error-code`.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 16: Unexpected errors ['directives_type_ignore.py:16:10: error[invalid-assignment] Object of type `Literal[""]` is not assignable to `int`']
 """
 output = """
 directives_type_ignore.py:16:10: error[invalid-assignment] Object of type `Literal[""]` is not assignable to `int`

conformance/results/zuban/directives_type_ignore.toml

@@ -2,4 +2,6 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
+directives_type_ignore.py:16: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
+directives_type_ignore.py:16: note: Error code "assignment" not covered by "type: ignore" comment
 """

conformance/tests/directives_type_ignore.py

@@ -13,7 +13,7 @@
 # The following type violation may be suppressed, depending whether the
 # type checker uses the error code `assignment` for invalid assignments,
 # and/or how it treats unknown error codes.
-z: int = ""  # type: ignore[assignment]
+z: int = ""  # type: ignore[an-empty-str-is-not-an-int]  # E?
 
 # > In some cases, linting tools or other comments may be needed on the same
 # > line as a type comment. In these cases, the type comment should be before