-
Notifications
You must be signed in to change notification settings - Fork 293
Expand file tree
/
Copy pathgenerics_paramspec_variance.toml
More file actions
40 lines (40 loc) · 4.31 KB
/
generics_paramspec_variance.toml
File metadata and controls
40 lines (40 loc) · 4.31 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
conformant = "Unsupported"
conformance_automated = "Fail"
errors_diff = """
Line 29: Expected 1 errors
Line 38: Expected 1 errors
Line 14: Unexpected errors ['generics_paramspec_variance.py:14:39 - error: Type "ContravariantParamSpec[(object)]" is not assignable to declared type "ContravariantParamSpec[(int)]"']
Line 22: Unexpected errors ['generics_paramspec_variance.py:22:39 - error: Type "CovariantParamSpec[(int)]" is not assignable to declared type "CovariantParamSpec[(object)]"']
Line 24: Unexpected errors ['generics_paramspec_variance.py:24:24 - error: "contravariant" is unknown parameter to ParamSpec (reportGeneralTypeIssues)']
Line 32: Unexpected errors ['generics_paramspec_variance.py:32:46 - error: Type "ContravariantParamSpecOld[(object)]" is not assignable to declared type "ContravariantParamSpecOld[(int)]"']
Line 34: Unexpected errors ['generics_paramspec_variance.py:34:26 - error: "covariant" is unknown parameter to ParamSpec (reportGeneralTypeIssues)']
Line 43: Unexpected errors ['generics_paramspec_variance.py:43:46 - error: Type "CovariantParamSpecOld[(int)]" is not assignable to declared type "CovariantParamSpecOld[(object)]"']
"""
output = """
generics_paramspec_variance.py:13:42 - error: Type "ContravariantParamSpec[(int)]" is not assignable to declared type "ContravariantParamSpec[(object)]"
"ContravariantParamSpec[(int)]" is not assignable to "ContravariantParamSpec[(object)]"
Type parameter "InP@ContravariantParamSpec" is invariant, but "(int)" is not the same as "(object)" (reportAssignmentType)
generics_paramspec_variance.py:14:39 - error: Type "ContravariantParamSpec[(object)]" is not assignable to declared type "ContravariantParamSpec[(int)]"
"ContravariantParamSpec[(object)]" is not assignable to "ContravariantParamSpec[(int)]"
Type parameter "InP@ContravariantParamSpec" is invariant, but "(object)" is not the same as "(int)" (reportAssignmentType)
generics_paramspec_variance.py:21:36 - error: Type "CovariantParamSpec[(object)]" is not assignable to declared type "CovariantParamSpec[(int)]"
"CovariantParamSpec[(object)]" is not assignable to "CovariantParamSpec[(int)]"
Type parameter "OutP@CovariantParamSpec" is invariant, but "(object)" is not the same as "(int)" (reportAssignmentType)
generics_paramspec_variance.py:22:39 - error: Type "CovariantParamSpec[(int)]" is not assignable to declared type "CovariantParamSpec[(object)]"
"CovariantParamSpec[(int)]" is not assignable to "CovariantParamSpec[(object)]"
Type parameter "OutP@CovariantParamSpec" is invariant, but "(int)" is not the same as "(object)" (reportAssignmentType)
generics_paramspec_variance.py:24:24 - error: "contravariant" is unknown parameter to ParamSpec (reportGeneralTypeIssues)
generics_paramspec_variance.py:31:49 - error: Type "ContravariantParamSpecOld[(int)]" is not assignable to declared type "ContravariantParamSpecOld[(object)]"
"ContravariantParamSpecOld[(int)]" is not assignable to "ContravariantParamSpecOld[(object)]"
Type parameter "InP@ContravariantParamSpecOld" is invariant, but "(int)" is not the same as "(object)" (reportAssignmentType)
generics_paramspec_variance.py:32:46 - error: Type "ContravariantParamSpecOld[(object)]" is not assignable to declared type "ContravariantParamSpecOld[(int)]"
"ContravariantParamSpecOld[(object)]" is not assignable to "ContravariantParamSpecOld[(int)]"
Type parameter "InP@ContravariantParamSpecOld" is invariant, but "(object)" is not the same as "(int)" (reportAssignmentType)
generics_paramspec_variance.py:34:26 - error: "covariant" is unknown parameter to ParamSpec (reportGeneralTypeIssues)
generics_paramspec_variance.py:42:43 - error: Type "CovariantParamSpecOld[(object)]" is not assignable to declared type "CovariantParamSpecOld[(int)]"
"CovariantParamSpecOld[(object)]" is not assignable to "CovariantParamSpecOld[(int)]"
Type parameter "OutP@CovariantParamSpecOld" is invariant, but "(object)" is not the same as "(int)" (reportAssignmentType)
generics_paramspec_variance.py:43:46 - error: Type "CovariantParamSpecOld[(int)]" is not assignable to declared type "CovariantParamSpecOld[(object)]"
"CovariantParamSpecOld[(int)]" is not assignable to "CovariantParamSpecOld[(object)]"
Type parameter "OutP@CovariantParamSpecOld" is invariant, but "(int)" is not the same as "(object)" (reportAssignmentType)
"""