Skip to content

Commit de6d9ea

Browse files
JelleZijlstraJelleZijlstra
committed
.
1 parent d9961b2 commit de6d9ea

7 files changed

Lines changed: 80 additions & 77 deletions

File tree

‎conformance/results/mypy/specialtypes_sentinels.toml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
conformant = "Unsupported"
22
conformance_automated = "Fail"
33
errors_diff = """
4-
Line 33: Expected 1 errors
54
Line 36: Expected 1 errors
6-
Line 18: Unexpected errors ['specialtypes_sentinels.py:18: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]']
7-
Line 20: Unexpected errors ['specialtypes_sentinels.py:20: error: Expression is of type "Any", not MISSING? [assert-type]', 'specialtypes_sentinels.py:20: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]']
8-
Line 24: Unexpected errors ['specialtypes_sentinels.py:24: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]']
9-
Line 26: Unexpected errors ['specialtypes_sentinels.py:26: error: Expression is of type "Any", not Cls.IN_CLASS? [assert-type]', 'specialtypes_sentinels.py:26: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]']
5+
Line 39: Expected 1 errors
6+
Line 21: Unexpected errors ['specialtypes_sentinels.py:21: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]']
7+
Line 23: Unexpected errors ['specialtypes_sentinels.py:23: error: Expression is of type "Any", not MISSING? [assert-type]', 'specialtypes_sentinels.py:23: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]']
8+
Line 27: Unexpected errors ['specialtypes_sentinels.py:27: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]']
9+
Line 29: Unexpected errors ['specialtypes_sentinels.py:29: error: Expression is of type "Any", not Cls.IN_CLASS? [assert-type]', 'specialtypes_sentinels.py:29: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]']
1010
"""
1111
output = """
1212
specialtypes_sentinels.py:15: error: Incompatible default for parameter "x" (default has type "Sentinel", parameter has type "int") [assignment]
13-
specialtypes_sentinels.py:18: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]
14-
specialtypes_sentinels.py:18: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
15-
specialtypes_sentinels.py:20: error: Expression is of type "Any", not MISSING? [assert-type]
16-
specialtypes_sentinels.py:20: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]
17-
specialtypes_sentinels.py:20: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
18-
specialtypes_sentinels.py:24: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]
19-
specialtypes_sentinels.py:24: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
20-
specialtypes_sentinels.py:26: error: Expression is of type "Any", not Cls.IN_CLASS? [assert-type]
21-
specialtypes_sentinels.py:26: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]
22-
specialtypes_sentinels.py:26: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
13+
specialtypes_sentinels.py:21: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]
14+
specialtypes_sentinels.py:21: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
15+
specialtypes_sentinels.py:23: error: Expression is of type "Any", not MISSING? [assert-type]
16+
specialtypes_sentinels.py:23: error: Variable "specialtypes_sentinels.MISSING" is not valid as a type [valid-type]
17+
specialtypes_sentinels.py:23: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
18+
specialtypes_sentinels.py:27: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]
19+
specialtypes_sentinels.py:27: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
20+
specialtypes_sentinels.py:29: error: Expression is of type "Any", not Cls.IN_CLASS? [assert-type]
21+
specialtypes_sentinels.py:29: error: Variable "specialtypes_sentinels.Cls.IN_CLASS" is not valid as a type [valid-type]
22+
specialtypes_sentinels.py:29: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
2323
"""

‎conformance/results/pyrefly/specialtypes_sentinels.toml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
conformant = "Unsupported"
22
conformance_automated = "Fail"
33
errors_diff = """
4-
Line 33: Expected 1 errors
54
Line 36: Expected 1 errors
6-
Line 18: Unexpected errors ['Expected a type form, got instance of `type[int] | UnionType` [not-a-type]']
7-
Line 20: Unexpected errors ['assert_type(Sentinel, Unknown) failed [assert-type]', 'Expected a type form, got instance of `Sentinel` [not-a-type]']
8-
Line 22: Unexpected errors ['assert_type(Unknown, int) failed [assert-type]']
9-
Line 24: Unexpected errors ['Expected a type form, got instance of `type[int] | UnionType` [not-a-type]']
10-
Line 26: Unexpected errors ['assert_type(Sentinel, Unknown) failed [assert-type]', 'Expected a type form, got instance of `Sentinel` [not-a-type]']
11-
Line 28: Unexpected errors ['assert_type(Unknown, int) failed [assert-type]']
5+
Line 39: Expected 1 errors
6+
Line 21: Unexpected errors ['Expected a type form, got instance of `type[int] | UnionType` [not-a-type]']
7+
Line 23: Unexpected errors ['assert_type(Sentinel, Unknown) failed [assert-type]', 'Expected a type form, got instance of `Sentinel` [not-a-type]']
8+
Line 25: Unexpected errors ['assert_type(Unknown, int) failed [assert-type]']
9+
Line 27: Unexpected errors ['Expected a type form, got instance of `type[int] | UnionType` [not-a-type]']
10+
Line 29: Unexpected errors ['assert_type(Sentinel, Unknown) failed [assert-type]', 'Expected a type form, got instance of `Sentinel` [not-a-type]']
11+
Line 31: Unexpected errors ['assert_type(Unknown, int) failed [assert-type]']
1212
"""
1313
output = """
1414
ERROR specialtypes_sentinels.py:15:20-27: Default `Sentinel` is not assignable to parameter `x` with type `int` [bad-function-definition]
15-
ERROR specialtypes_sentinels.py:18:14-27: Expected a type form, got instance of `type[int] | UnionType` [not-a-type]
16-
ERROR specialtypes_sentinels.py:20:20-32: assert_type(Sentinel, Unknown) failed [assert-type]
17-
ERROR specialtypes_sentinels.py:20:24-31: Expected a type form, got instance of `Sentinel` [not-a-type]
18-
ERROR specialtypes_sentinels.py:22:20-28: assert_type(Unknown, int) failed [assert-type]
19-
ERROR specialtypes_sentinels.py:24:14-32: Expected a type form, got instance of `type[int] | UnionType` [not-a-type]
20-
ERROR specialtypes_sentinels.py:26:20-37: assert_type(Sentinel, Unknown) failed [assert-type]
21-
ERROR specialtypes_sentinels.py:26:24-36: Expected a type form, got instance of `Sentinel` [not-a-type]
22-
ERROR specialtypes_sentinels.py:28:20-28: assert_type(Unknown, int) failed [assert-type]
15+
ERROR specialtypes_sentinels.py:21:14-27: Expected a type form, got instance of `type[int] | UnionType` [not-a-type]
16+
ERROR specialtypes_sentinels.py:23:20-32: assert_type(Sentinel, Unknown) failed [assert-type]
17+
ERROR specialtypes_sentinels.py:23:24-31: Expected a type form, got instance of `Sentinel` [not-a-type]
18+
ERROR specialtypes_sentinels.py:25:20-28: assert_type(Unknown, int) failed [assert-type]
19+
ERROR specialtypes_sentinels.py:27:14-32: Expected a type form, got instance of `type[int] | UnionType` [not-a-type]
20+
ERROR specialtypes_sentinels.py:29:20-37: assert_type(Sentinel, Unknown) failed [assert-type]
21+
ERROR specialtypes_sentinels.py:29:24-36: Expected a type form, got instance of `Sentinel` [not-a-type]
22+
ERROR specialtypes_sentinels.py:31:20-28: assert_type(Unknown, int) failed [assert-type]
2323
"""

‎conformance/results/pyright/specialtypes_sentinels.toml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
conformant = "Unsupported"
22
conformance_automated = "Fail"
33
errors_diff = """
4-
Line 33: Expected 1 errors
54
Line 36: Expected 1 errors
6-
Line 18: Unexpected errors ['specialtypes_sentinels.py:18:20 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
7-
Line 20: Unexpected errors ['specialtypes_sentinels.py:20:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)', 'specialtypes_sentinels.py:20:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
8-
Line 22: Unexpected errors ['specialtypes_sentinels.py:22:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)']
9-
Line 24: Unexpected errors ['specialtypes_sentinels.py:24:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
10-
Line 26: Unexpected errors ['specialtypes_sentinels.py:26:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)', 'specialtypes_sentinels.py:26:28 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
11-
Line 28: Unexpected errors ['specialtypes_sentinels.py:28:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)']
5+
Line 39: Expected 1 errors
6+
Line 21: Unexpected errors ['specialtypes_sentinels.py:21:20 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
7+
Line 23: Unexpected errors ['specialtypes_sentinels.py:23:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)', 'specialtypes_sentinels.py:23:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
8+
Line 25: Unexpected errors ['specialtypes_sentinels.py:25:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)']
9+
Line 27: Unexpected errors ['specialtypes_sentinels.py:27:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
10+
Line 29: Unexpected errors ['specialtypes_sentinels.py:29:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)', 'specialtypes_sentinels.py:29:28 - error: Variable not allowed in type expression (reportInvalidTypeForm)']
11+
Line 31: Unexpected errors ['specialtypes_sentinels.py:31:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)']
1212
"""
1313
output = """
1414
specialtypes_sentinels.py:15:20 - error: Expression of type "Sentinel" cannot be assigned to parameter of type "int"
1515
  "Sentinel" is not assignable to "int" (reportArgumentType)
16-
specialtypes_sentinels.py:18:20 - error: Variable not allowed in type expression (reportInvalidTypeForm)
17-
specialtypes_sentinels.py:20:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)
18-
specialtypes_sentinels.py:20:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)
19-
specialtypes_sentinels.py:22:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)
20-
specialtypes_sentinels.py:24:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)
21-
specialtypes_sentinels.py:26:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)
22-
specialtypes_sentinels.py:26:28 - error: Variable not allowed in type expression (reportInvalidTypeForm)
23-
specialtypes_sentinels.py:28:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)
16+
specialtypes_sentinels.py:21:20 - error: Variable not allowed in type expression (reportInvalidTypeForm)
17+
specialtypes_sentinels.py:23:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)
18+
specialtypes_sentinels.py:23:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)
19+
specialtypes_sentinels.py:25:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)
20+
specialtypes_sentinels.py:27:24 - error: Variable not allowed in type expression (reportInvalidTypeForm)
21+
specialtypes_sentinels.py:29:21 - error: "assert_type" mismatch: expected "Unknown" but received "int | Unknown" (reportAssertTypeFailure)
22+
specialtypes_sentinels.py:29:28 - error: Variable not allowed in type expression (reportInvalidTypeForm)
23+
specialtypes_sentinels.py:31:21 - error: "assert_type" mismatch: expected "int" but received "int | Unknown" (reportAssertTypeFailure)
2424
"""

‎conformance/results/ty/specialtypes_sentinels.toml‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
11
conformant = "Unsupported"
22
conformance_automated = "Fail"
33
errors_diff = """
4-
Line 33: Expected 1 errors
54
Line 36: Expected 1 errors
6-
Line 18: Unexpected errors ['specialtypes_sentinels.py:18:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation']
7-
Line 20: Unexpected errors ['specialtypes_sentinels.py:20:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`']
8-
Line 22: Unexpected errors ['specialtypes_sentinels.py:22:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`']
9-
Line 24: Unexpected errors ['specialtypes_sentinels.py:24:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation']
10-
Line 26: Unexpected errors ['specialtypes_sentinels.py:26:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`']
11-
Line 28: Unexpected errors ['specialtypes_sentinels.py:28:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`']
5+
Line 39: Expected 1 errors
6+
Line 21: Unexpected errors ['specialtypes_sentinels.py:21:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation']
7+
Line 23: Unexpected errors ['specialtypes_sentinels.py:23:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`']
8+
Line 25: Unexpected errors ['specialtypes_sentinels.py:25:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`']
9+
Line 27: Unexpected errors ['specialtypes_sentinels.py:27:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation']
10+
Line 29: Unexpected errors ['specialtypes_sentinels.py:29:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`']
11+
Line 31: Unexpected errors ['specialtypes_sentinels.py:31:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`']
1212
"""
1313
output = """
1414
specialtypes_sentinels.py:15:11: error[invalid-parameter-default] Default value of type `Sentinel` is not assignable to annotated parameter type `int`
15-
specialtypes_sentinels.py:18:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation
16-
specialtypes_sentinels.py:20:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`
17-
specialtypes_sentinels.py:22:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`
18-
specialtypes_sentinels.py:24:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation
19-
specialtypes_sentinels.py:26:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`
20-
specialtypes_sentinels.py:28:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`
15+
specialtypes_sentinels.py:21:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation
16+
specialtypes_sentinels.py:23:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`
17+
specialtypes_sentinels.py:25:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`
18+
specialtypes_sentinels.py:27:20: error[invalid-type-form] Variable of type `Sentinel` is not allowed in a parameter annotation
19+
specialtypes_sentinels.py:29:9: error[type-assertion-failure] Type `(int & Sentinel) | (Unknown & Sentinel)` does not match asserted type `@Todo`
20+
specialtypes_sentinels.py:31:9: error[type-assertion-failure] Type `int | Unknown` does not match asserted type `int`
2121
"""

0 commit comments

Comments
 (0)