python · ilevkivskyi · Feb 17, 2026 · Feb 17, 2026 · Feb 17, 2026 · Feb 17, 2026
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -105,13 +105,15 @@ jobs:
           python: '3.14'
           os: ubuntu-24.04-arm
           toxenv: py
-          tox_extra_args: "-n 4 --mypy-num-workers=4 mypy/test/testcheck.py"
+          tox_extra_args: "-x -n 4 --mypy-num-workers=4 mypy/test/testcheck.py"
+          dev_ast_serialize: true
         - name: Parallel tests with py314-ubuntu, mypyc-compiled
           python: '3.14'
           os: ubuntu-24.04-arm
           toxenv: py
-          tox_extra_args: "-n 4 --mypy-num-workers=4 mypy/test/testcheck.py"
+          tox_extra_args: "-x -n 4 --mypy-num-workers=4 mypy/test/testcheck.py"
           test_mypyc: true
+          dev_ast_serialize: true
         - name: Parallel tests with py314-windows-64, interpreted
           python: '3.14'
           os: windows-latest
@@ -139,6 +141,7 @@ jobs:
     timeout-minutes: 60
     env:
       TOX_SKIP_MISSING_INTERPRETERS: False
+      VIRTUALENV_SYSTEM_SITE_PACKAGES: ${{ matrix.dev_ast_serialize && 1 || 0 }}
       # Rich (pip) -- Disable color for windows + pytest
       FORCE_COLOR: ${{ !(startsWith(matrix.os, 'windows-') && startsWith(matrix.toxenv, 'py')) && 1 || 0 }}
       # Tox
@@ -213,6 +216,30 @@ jobs:
         pip install -r test-requirements.txt
         CC=clang MYPYC_OPT_LEVEL=0 MYPY_USE_MYPYC=1 pip install -e .
 
+    # To speed-up process until ast_serialize is on PyPI.
+    - name: Checkout pinned ast_serialize
+      if: ${{ matrix.dev_ast_serialize }}
+      uses: actions/checkout@v4
+      with:
+        persist-credentials: false
+        repository: mypyc/ast_serialize
+        ref: da5a16cf268dbec63ed6b2e6b715470576e2d1a6
+        path: ast_serialize
+
+    - if: ${{ matrix.dev_ast_serialize }}
+      uses: PyO3/maturin-action@v1
+      with:
+        target: aarch64
+        args: --release --out dist
+        working-directory: ast_serialize
+
+    - if: ${{ matrix.dev_ast_serialize }}
+      run: |
+        pip install ast_serialize/dist/ast_serialize-0.1.0-cp39-abi3-manylinux_2_34_aarch64.whl
+        echo 'no way' > test_ast_serialize.py
+        python3 -c 'import ast_serialize; print(ast_serialize.parse("test_ast_serialize.py")[1])'
+        rm test_ast_serialize.py
+
     - name: Setup tox environment
       run: |
         tox run -e ${{ matrix.toxenv }} --notest

diff --git a/mypy/message_registry.py b/mypy/message_registry.py
@@ -303,7 +303,7 @@ def with_additional_msg(self, info: str) -> ErrorMessage:
     "Condition can't be inferred, unable to merge overloads"
 )
 TYPE_IGNORE_WITH_ERRCODE_ON_MODULE: Final = ErrorMessage(
-    "type ignore with error code is not supported for modules; "
+    "Type ignore with error code is not supported for modules; "
     'use `# mypy: disable-error-code="{}"`',
     codes.SYNTAX,
 )

diff --git a/mypy/test/testcheck.py b/mypy/test/testcheck.py
@@ -141,12 +141,16 @@ def run_case_once(
 
         if options.num_workers:
             options.fixed_format_cache = True
+            options.native_parser = True
             if testcase.output_files:
                 raise pytest.skip("Reports are not supported in parallel mode")
             # Note: do not use this unless really needed!
             if testcase.name.endswith("_no_parallel"):
                 raise pytest.skip("Test not supported in parallel mode yet")
 
+        if options.native_parser and testcase.name.endswith("_no_native_parse"):
+            raise pytest.skip("Test not supported by native parser yet")
+
         # Enable some options automatically based on test file name.
         if "columns" in testcase.file:
             options.show_column_numbers = True

diff --git a/test-data/unit/check-columns.test b/test-data/unit/check-columns.test
@@ -1,6 +1,6 @@
 # Test column numbers in messages. --show-column-numbers is enabled implicitly by test runner.
 
-[case testColumnsSyntaxError]
+[case testColumnsSyntaxError_no_native_parse]
 f()
 1 +
 [out]
@@ -146,7 +146,7 @@ if int():
     def f(a: 'A') -> None: pass
     (f(b=object())) # E:6: Unexpected keyword argument "b" for "f"
 
-[case testColumnInvalidType]
+[case testColumnInvalidType_no_native_parse]
 
 from typing import Iterable
 
@@ -342,7 +342,7 @@ if int():
 main:2:11: error: Syntax error in type annotation
 main:2:11: note: Suggestion: Is there a spurious trailing comma?
 
-[case testColumnSyntaxErrorInTypeAnnotation2]
+[case testColumnSyntaxErrorInTypeAnnotation2_no_native_parse]
 if int():
     # TODO: It would be better to point to the type comment
     xyz = 0  # type: blurbnard blarb

diff --git a/test-data/unit/check-errorcodes.test b/test-data/unit/check-errorcodes.test
@@ -30,21 +30,21 @@ class A:
 [case testErrorCodeNoteHasNoCode]
 reveal_type(1) # N: Revealed type is "Literal[1]?"
 
-[case testErrorCodeSyntaxError]
+[case testErrorCodeSyntaxError_no_native_parse]
 1 ''
 [out]
 main:1: error: Invalid syntax  [syntax]
 [out version==3.10.0]
 main:1: error: Invalid syntax. Perhaps you forgot a comma?  [syntax]
 
-[case testErrorCodeSyntaxError2]
+[case testErrorCodeSyntaxError2_no_native_parse]
 def f(): # E: Type signature has too many parameters  [syntax]
     # type: (int) -> None
     1
 
 x = 0  # type: x y  # E: Syntax error in type comment "x y"  [syntax]
 
-[case testErrorCodeSyntaxError3]
+[case testErrorCodeSyntaxError3_no_native_parse]
 # This is a bit inconsistent -- syntax error would be more logical?
 x: 'a b'  # E: Invalid type comment or annotation  [valid-type]
 for v in x:  # type: int, int  # E: Syntax error in type annotation  [syntax] \
@@ -208,7 +208,7 @@ def h(x  # type: xyz  # type: ignore[foo]  # E: Name "xyz" is not defined  [name
 import nostub  # type: ignore[import]
 from defusedxml import xyz  # type: ignore[import]
 
-[case testErrorCodeBadIgnore]
+[case testErrorCodeBadIgnore_no_native_parse]
 import nostub # type: ignore xyz  # E: Invalid "type: ignore" comment  [syntax] \
                                   # E: Cannot find implementation or library stub for module named "nostub"  [import-not-found] \
                                   # N: See https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports
@@ -226,7 +226,7 @@ def f(x,  # type: int  # type: ignore[  # E: Invalid "type: ignore" comment  [sy
     # type: (...) -> None
     pass
 
-[case testErrorCodeBadIgnoreNoExtraComment]
+[case testErrorCodeBadIgnoreNoExtraComment_no_native_parse]
 # Omit the E: ... comments, as they affect parsing
 import nostub # type: ignore xyz
 import nostub # type: ignore[xyz
@@ -762,7 +762,7 @@ main:1: error: Name "y" is not defined  [name-defined]
 main:2: error: Name "ignored" is not defined  [name-defined]
 main:2: error: Name "y" is not defined  [name-defined]
 
-[case testErrorCodeTypeIgnoreMisspelled2]
+[case testErrorCodeTypeIgnoreMisspelled2_no_native_parse]
 x = y  # type: int  # type: ignored[foo]
 x = y  # type: int  # type: ignored [foo]
 [out]
@@ -1014,7 +1014,7 @@ def f(arg: int) -> int:
 def f(arg: str) -> str:
     ...
 
-[case testSliceInDictBuiltin]
+[case testSliceInDictBuiltin_no_native_parse]
 # flags: --show-column-numbers
 b: dict[int, x:y]
 c: dict[x:y]
@@ -1027,7 +1027,7 @@ main:3:4: error: "dict" expects 2 type arguments, but 1 given  [type-arg]
 main:3:9: error: Invalid type comment or annotation  [valid-type]
 main:3:9: note: did you mean to use ',' instead of ':' ?
 
-[case testSliceInDictTyping]
+[case testSliceInDictTyping_no_native_parse]
 # flags: --show-column-numbers
 from typing import Dict
 b: Dict[int, x:y]
@@ -1067,11 +1067,11 @@ def f(d: D, s: str) -> None:
 [typing fixtures/typing-typeddict.pyi]
 
 [case testRecommendErrorCode]
-# type: ignore[whatever]  # E: type ignore with error code is not supported for modules; use `# mypy: disable-error-code="whatever"`  [syntax]
+# type: ignore[whatever]  # E: Type ignore with error code is not supported for modules; use `# mypy: disable-error-code="whatever"`  [syntax]
 1 + "asdf"
 
 [case testRecommendErrorCode2]
-# type: ignore[whatever, other]  # E: type ignore with error code is not supported for modules; use `# mypy: disable-error-code="whatever, other"`  [syntax]
+# type: ignore[whatever, other]  # E: Type ignore with error code is not supported for modules; use `# mypy: disable-error-code="whatever, other"`  [syntax]
 1 + "asdf"
 
 [case testShowErrorCodesInConfig]

diff --git a/test-data/unit/check-fastparse.test b/test-data/unit/check-fastparse.test
@@ -1,8 +1,8 @@
-[case testFastParseSyntaxError]
+[case testFastParseSyntaxError_no_native_parse]
 
 1 +  # E: Invalid syntax
 
-[case testFastParseTypeCommentSyntaxError]
+[case testFastParseTypeCommentSyntaxError_no_native_parse]
 
 x = None # type: a : b  # E: Syntax error in type comment "a : b"
 
@@ -12,13 +12,13 @@ x = None # type: a + b  # E: Invalid type comment or annotation
 
 -- Function type comments are attributed to the function def line.
 -- This happens in both parsers.
-[case testFastParseFunctionAnnotationSyntaxError]
+[case testFastParseFunctionAnnotationSyntaxError_no_native_parse]
 
 def f():  # E: Syntax error in type comment "None -> None" # N: Suggestion: wrap argument types in parentheses
   # type: None -> None
   pass
 
-[case testFastParseFunctionAnnotationSyntaxErrorSpaces]
+[case testFastParseFunctionAnnotationSyntaxErrorSpaces_no_native_parse]
 
 def f():  # E: Syntax error in type comment "None -> None" # N: Suggestion: wrap argument types in parentheses
   # type:             None -> None
@@ -156,7 +156,7 @@ def f(a,        # type: A
 [builtins fixtures/dict.pyi]
 [out]
 
-[case testFastParsePerArgumentAnnotationsWithAnnotatedBareStar]
+[case testFastParsePerArgumentAnnotationsWithAnnotatedBareStar_no_native_parse]
 
 def f(*, # type: int  # E: Bare * has associated type comment
       x  # type: str
@@ -194,7 +194,7 @@ def f(x, y):  # E: Type signature has too few parameters
 f(1, 2)
 f(1) # E: Missing positional argument "y" in call to "f"
 
-[case testFasterParseTypeErrorCustom]
+[case testFasterParseTypeErrorCustom_no_native_parse]
 
 from typing import TypeVar, Generic
 T = TypeVar('T')
@@ -275,7 +275,7 @@ def f7(x: int):  # E: Function has duplicate type signatures
   # type: (int) -> int
   pass
 
-[case testFastParserDuplicateNames]
+[case testFastParserDuplicateNames_no_native_parse]
 
 def f(x, y, z):
   pass

diff --git a/test-data/unit/check-literal.test b/test-data/unit/check-literal.test
@@ -224,7 +224,7 @@ accepts_bytes(c_alias)
 [builtins fixtures/tuple.pyi]
 [out]
 
-[case testLiteralMixingUnicodeAndBytesPython3ForwardStrings]
+[case testLiteralMixingUnicodeAndBytesPython3ForwardStrings_no_native_parse]
 from typing import Literal, TypeVar, Generic
 
 a_unicode_wrapper: u"Literal[u'foo']"
@@ -577,7 +577,7 @@ reveal_type(d)      # N: Revealed type is "Any"
 [builtins fixtures/primitives.pyi]
 [out]
 
-[case testLiteralDisallowFloatsAndComplex]
+[case testLiteralDisallowFloatsAndComplex_no_native_parse]
 
 from typing import Literal
 a1: Literal[3.14]    # E: Parameter 1 of Literal[...] cannot be of type "float"
@@ -601,7 +601,7 @@ d2: d2t              # E: Variable "__main__.d2t" is not valid as a type \
 [builtins fixtures/complex_tuple.pyi]
 [out]
 
-[case testLiteralDisallowComplexExpressions]
+[case testLiteralDisallowComplexExpressions_no_native_parse]
 from typing import Literal
 def dummy() -> int: return 3
 a: Literal[3 + 4]               # E: Invalid type: Literal[...] cannot contain arbitrary expressions
@@ -2460,7 +2460,7 @@ expect_2(final_set_2.pop())  # E: Argument 1 to "expect_2" has incompatible type
 -- Tests for Literals and enums
 --
 
-[case testLiteralWithEnumsBasic]
+[case testLiteralWithEnumsBasic_no_native_parse]
 from typing import Literal
 from enum import Enum
 

diff --git a/test-data/unit/check-statements.test b/test-data/unit/check-statements.test
@@ -164,7 +164,7 @@ while None:
 [builtins fixtures/bool.pyi]
 [out]
 
-[case testForStatementTypeComments]
+[case testForStatementTypeComments_no_native_parse]
 
 from typing import List, Union
 x = []  # type: List[int]
@@ -182,7 +182,7 @@ for v in x:  # type: int, int  # E: Syntax error in type annotation # N: Suggest
     pass
 [builtins fixtures/list.pyi]
 
-[case testForStatementMultipleTypeComments]
+[case testForStatementMultipleTypeComments_no_native_parse]
 
 from typing import List, Tuple
 x = []  # type: List[Tuple[int, int]]
@@ -1360,7 +1360,7 @@ def f() -> Iterator[List[int]]:
 [builtins fixtures/for.pyi]
 [out]
 
-[case testYieldFromNotAppliedToNothing]
+[case testYieldFromNotAppliedToNothing_no_native_parse]
 def h():
     yield from  # E: Invalid syntax
 [out]
@@ -1492,7 +1492,7 @@ with A() as (a, b):
     a = b # E: Incompatible types in assignment (expression has type "str", variable has type "int")
 [builtins fixtures/tuple.pyi]
 
-[case testWithStmtTypeComment]
+[case testWithStmtTypeComment_no_native_parse]
 
 from typing import Union
 class A:
@@ -1514,7 +1514,7 @@ with A() as c:  # type: int, int  # E: Syntax error in type annotation # N: Sugg
 with A() as d:  # type: Union[int, str]
     reveal_type(d)  # N: Revealed type is "builtins.int | builtins.str"
 
-[case testWithStmtTupleTypeComment]
+[case testWithStmtTupleTypeComment_no_native_parse]
 
 from typing import Tuple
 class A:
@@ -1546,7 +1546,7 @@ with A() as (k, l):  # type: int, str  # E: Incompatible types in assignment (ex
     pass
 [builtins fixtures/tuple.pyi]
 
-[case testWithStmtComplexTypeComment]
+[case testWithStmtComplexTypeComment_no_native_parse]
 
 from typing import Tuple
 class A:
@@ -2244,7 +2244,7 @@ N = TypedDict('N', {'x': int})
 [typing fixtures/typing-full.pyi]
 [out]
 
-[case testForwardRefsInWithStatement]
+[case testForwardRefsInWithStatement_no_native_parse]
 from typing import ContextManager, Any, TypedDict
 cm: ContextManager[Any]