Skip to content

Commit 436ccfd

Browse files
committed
Merge upstream/main: resolve TOML notes conflicts, regenerate results.html
2 parents dea18ca + ddb5107 commit 436ccfd

74 files changed

Lines changed: 3340 additions & 1779 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.gitattributes

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
conformance/results/results.html linguist-generated

conformance/pyproject.toml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,16 @@ name = "typing-conformance"
33
version = "0.1.0"
44
requires-python = "==3.12.*"
55
dependencies = [
6+
"jinja2",
7+
"markdown",
68
"mypy",
79
"pycroscope",
810
"pyrefly",
911
"pyright",
10-
"tomli",
1112
"tomlkit",
12-
"zuban",
1313
"ty",
14+
"types-markdown",
15+
"zuban",
1416
]
1517

1618
[tool.uv]

conformance/results/mypy/aliases_typealiastype.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
conformant = "Partial"
22
notes = """
3-
Incorrectly rejects some recursive type aliases using TypeAliasType.
4-
Incorrectly rejects the use of a class-scoped TypeVar in a TypeAliasType definition.
3+
Incorrectly rejects some recursive type aliases using `TypeAliasType`.
4+
Incorrectly rejects the use of a class-scoped `TypeVar` in a `TypeAliasType` definition.
55
"""
66
output = """
77
aliases_typealiastype.py:20: error: Cannot resolve name "GoodAlias5" (possible cyclic definition) [misc]

conformance/results/mypy/annotations_forward_refs.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
conformant = "Partial"
22
notes = """
33
Does not report error for a forward reference that is not enclosed in quotes.
4-
Does not report error for use of quoted type with "|" operator (runtime error).
4+
Does not report error for use of quoted type with `|` operator (runtime error).
55
Incorrectly generates error for quoted type defined in class scope.
66
"""
77
output = """

conformance/results/mypy/annotations_generators.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
conformant = "Partial"
22
notes = """
3-
Does not report incompatible Generator type in `yield from` statement.
3+
Does not report incompatible `Generator` type in `yield from` statement.
44
"""
55
output = """
66
annotations_generators.py:51: error: Missing return statement [return]

conformance/results/mypy/callables_annotation.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
conformant = "Partial"
22
notes = """
3-
Incorrectly treats "*args: T, **kwargs: T" as "..." when T is specialized to Any.
4-
Does not treat "*args: Any, **kargs: Any" as "..." when separated by keyword parameter.
3+
Incorrectly treats `*args: T, **kwargs: T` as `...` when `T` is specialized to `Any`.
4+
Does not treat `*args: Any, **kargs: Any` as `...` when separated by keyword parameter.
55
"""
66
output = """
77
callables_annotation.py:25: error: Too few arguments [call-arg]

conformance/results/mypy/callables_kwargs.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
conformant = "Partial"
22
notes = """
3-
Allows callable without kwargs to be assigned to callable with unpacked kwargs
3+
Allows callable without kwargs to be assigned to callable with unpacked kwargs.
44
"""
55
output = """
66
callables_kwargs.py:46: error: Missing named argument "v1" for "func1" [call-arg]

conformance/results/mypy/classes_classvar.toml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
conformant = "Partial"
22
notes = """
3-
Internal error if TypeVarTuple is used in ClassVar.
4-
Does not reject use of ParamSpec in ClassVar.
5-
Rejects ClassVar nested in Annotated.
6-
Does not reject use of ClassVar in TypeAlias definition.
3+
Internal error if `TypeVarTuple` is used in `ClassVar`.
4+
Does not reject use of `ParamSpec` in `ClassVar`.
5+
Rejects `ClassVar` nested in `Annotated`.
6+
Does not reject use of `ClassVar` in `TypeAlias` definition.
77
"""
88
output = """
99
classes_classvar.py:38: error: ClassVar[...] must have at most one type argument [valid-type]

conformance/results/mypy/constructors_call_init.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
conformant = "Partial"
22
notes = """
3-
Does not report errors during binding to self parameter of __init__ method.
4-
Does not reject use of class-scoped type variables in annotation of self parameter in __init__ method.
3+
Does not report errors during binding to self parameter of `__init__` method.
4+
Does not reject use of class-scoped type variables in annotation of self parameter in `__init__` method.
55
"""
66
conformance_automated = "Fail"
77
errors_diff = """

conformance/results/mypy/constructors_call_metaclass.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
conformant = "Unsupported"
22
notes = """
3-
Does not honor metaclass __call__ method when evaluating constructor call.
4-
Does not skip evaluation of __new__ and __init__ if custom metaclass call returns non-class.
3+
Does not honor metaclass `__call__` method when evaluating constructor call.
4+
Does not skip evaluation of `__new__` and `__init__` if custom metaclass call returns non-class.
55
"""
66
conformance_automated = "Fail"
77
errors_diff = """

0 commit comments

Comments
 (0)