-
Notifications
You must be signed in to change notification settings - Fork 306
Expand file tree
/
Copy pathgenerics_variance_inference.toml
More file actions
37 lines (37 loc) · 4.96 KB
/
Copy pathgenerics_variance_inference.toml
File metadata and controls
37 lines (37 loc) · 4.96 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
conformant = "Partial"
conformance_automated = "Fail"
notes = """
polymorphic functions with bound self type influence variance inference,
which is not part of the variance inference algorithm as described in the spec.
See gh-2281 for details.
"""
errors_diff = """
Line 204: Unexpected errors ['generics_variance_inference.py:204:1: error: Type `ShouldBeCovariant7[int]` is not assignable to `ShouldBeCovariant7[object]` (type parameter is covariant) [generics_variance_inference]']
"""
output = """
generics_variance_inference.py:24:5: error: Type `ClassA[float]` is not assignable to `ClassA[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:25:5: error: Type `ClassA[int]` is not assignable to `ClassA[float]` (type parameter is contravariant) [generics_variance_inference]
generics_variance_inference.py:28:5: error: Type `ClassA[float]` is not assignable to `ClassA[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:41:1: error: Type `ShouldBeCovariant1[float]` is not assignable to `ShouldBeCovariant1[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:49:1: error: Type `ShouldBeCovariant2[float]` is not assignable to `ShouldBeCovariant2[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:58:1: error: Type `ShouldBeCovariant3[float]` is not assignable to `ShouldBeCovariant3[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:67:1: error: Type `ShouldBeCovariant4[float]` is not assignable to `ShouldBeCovariant4[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:80:1: error: Type `ShouldBeCovariant5[float]` is not assignable to `ShouldBeCovariant5[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:96:1: error: Type `ShouldBeInvariant1[int]` is not assignable to `ShouldBeInvariant1[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:97:1: error: Type `ShouldBeInvariant1[float]` is not assignable to `ShouldBeInvariant1[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:111:1: error: Type `ShouldBeInvariant2[int]` is not assignable to `ShouldBeInvariant2[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:112:1: error: Type `ShouldBeInvariant2[float]` is not assignable to `ShouldBeInvariant2[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:119:1: error: Type `ShouldBeInvariant3[int]` is not assignable to `ShouldBeInvariant3[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:120:1: error: Type `ShouldBeInvariant3[float]` is not assignable to `ShouldBeInvariant3[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:121:1: error: Type `ShouldBeInvariant3[int]` is not assignable to `ShouldBeInvariant3[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:122:1: error: Type `ShouldBeInvariant3[float]` is not assignable to `ShouldBeInvariant3[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:130:1: error: Type `ShouldBeInvariant4[int]` is not assignable to `ShouldBeInvariant4[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:138:1: error: Type `ShouldBeInvariant5[int]` is not assignable to `ShouldBeInvariant5[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:149:1: error: Type `ShouldBeContravariant1[int]` is not assignable to `ShouldBeContravariant1[float]` (type parameter is contravariant) [generics_variance_inference]
generics_variance_inference.py:169:1: error: Type `ShouldBeInvariant6[float]` is not assignable to `ShouldBeInvariant6[int]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:170:1: error: Type `ShouldBeInvariant6[int]` is not assignable to `ShouldBeInvariant6[float]` (type parameter is invariant) [generics_variance_inference]
generics_variance_inference.py:181:1: error: Type `ShouldBeCovariant6[float]` is not assignable to `ShouldBeCovariant6[int]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:194:1: error: Type `ShouldBeContravariant2[int]` is not assignable to `ShouldBeContravariant2[float]` (type parameter is contravariant) [generics_variance_inference]
generics_variance_inference.py:204:1: error: Type `ShouldBeCovariant7[int]` is not assignable to `ShouldBeCovariant7[object]` (type parameter is covariant) [generics_variance_inference]
generics_variance_inference.py:205:1: error: Type `ShouldBeCovariant7[object]` is not assignable to `ShouldBeCovariant7[int]` (type parameter is covariant) [generics_variance_inference]
"""