Skip to content

Commit

Permalink
Reran tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
@erictraut
erictraut committed Jan 12, 2024
1 parent 5117855 commit 7b9eaa6
Show file tree
Hide file tree
Showing 4 changed files with 25 additions and 25 deletions.
12 changes: 6 additions & 6 deletions conformance/results/mypy/generics_variance.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,10 @@ Does not reject use of class-scoped TypeVar used in a base class when variance i
"""
output = """
generics_variance.py:14: error: TypeVar cannot be both covariant and contravariant [misc]
generics_variance.py:75: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:79: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
generics_variance.py:91: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
generics_variance.py:103: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:123: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:129: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
generics_variance.py:77: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:81: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
generics_variance.py:93: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
generics_variance.py:105: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:125: error: Variance of TypeVar "T_co" incompatible with variance in parent type [type-var]
generics_variance.py:131: error: Variance of TypeVar "T_contra" incompatible with variance in parent type [type-var]
"""
12 changes: 6 additions & 6 deletions conformance/results/pyre/generics_variance.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,10 @@ Does not reject a TypeVar that is defined as both covariant and contravariant.
Does not reject use of class-scoped TypeVar used in a base class when variance is incompatible.
"""
output = """
generics_variance.py:75:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T]` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:79:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T]` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:91:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T_co](covariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:103:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T_contra](contravariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:123:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T_contra](contravariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:129:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T_co](covariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:77:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T]` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:81:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T]` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:93:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T_co](covariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:105:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T_contra](contravariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:125:0 Invalid type variance [46]: The type variable `Variable[T_co](covariant)` is incompatible with parent class type variable `Variable[T_contra](contravariant)` because subclasses cannot use more permissive type variables than their superclasses.
generics_variance.py:131:0 Invalid type variance [46]: The type variable `Variable[T_contra](contravariant)` is incompatible with parent class type variable `Variable[T_co](covariant)` because subclasses cannot use more permissive type variables than their superclasses.
"""
24 changes: 12 additions & 12 deletions conformance/results/pyright/generics_variance.toml
View file
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
conformant = "Pass"
output = """
generics_variance.py:14:50 - error: TypeVar cannot be both covariant and contravariant
generics_variance.py:75:18 - error: Type "T_co@Class1" cannot be assigned to type variable "T@Inv"
generics_variance.py:77:18 - error: Type "T_co@Class1" cannot be assigned to type variable "T@Inv"
  Variance of type argument "T_co@Class1" is incompatible with base class "Inv" (reportGeneralTypeIssues)
generics_variance.py:79:18 - error: Type "T_contra@Class2" cannot be assigned to type variable "T@Inv"
generics_variance.py:81:18 - error: Type "T_contra@Class2" cannot be assigned to type variable "T@Inv"
  Variance of type argument "T_contra@Class2" is incompatible with base class "Inv" (reportGeneralTypeIssues)
generics_variance.py:91:20 - error: Type "T_contra@Co_Child3" cannot be assigned to type variable "T_co@Co"
generics_variance.py:93:20 - error: Type "T_contra@Co_Child3" cannot be assigned to type variable "T_co@Co"
  Variance of type argument "T_contra@Co_Child3" is incompatible with base class "Co" (reportGeneralTypeIssues)
generics_variance.py:103:28 - error: Type "T_co@Contra_Child3" cannot be assigned to type variable "T_contra@Contra"
generics_variance.py:105:28 - error: Type "T_co@Contra_Child3" cannot be assigned to type variable "T_contra@Contra"
  Variance of type argument "T_co@Contra_Child3" is incompatible with base class "Contra" (reportGeneralTypeIssues)
generics_variance.py:111:28 - error: Type "Co[T_co@Contra_Child5]" cannot be assigned to type variable "T_contra@Contra"
generics_variance.py:113:28 - error: Type "Co[T_co@Contra_Child5]" cannot be assigned to type variable "T_contra@Contra"
  Variance of type argument "Co[T_co@Contra_Child5]" is incompatible with base class "Contra" (reportGeneralTypeIssues)
generics_variance.py:124:20 - error: Type "T_co@CoContra_Child2" cannot be assigned to type variable "T_contra@CoContra"
generics_variance.py:126:20 - error: Type "T_co@CoContra_Child2" cannot be assigned to type variable "T_contra@CoContra"
  Variance of type argument "T_co@CoContra_Child2" is incompatible with base class "CoContra" (reportGeneralTypeIssues)
generics_variance.py:130:14 - error: Type "T_contra@CoContra_Child3" cannot be assigned to type variable "T_co@CoContra"
generics_variance.py:132:14 - error: Type "T_contra@CoContra_Child3" cannot be assigned to type variable "T_co@CoContra"
  Variance of type argument "T_contra@CoContra_Child3" is incompatible with base class "CoContra" (reportGeneralTypeIssues)
generics_variance.py:140:24 - error: Type "Co[T_co@CoContra_Child5]" cannot be assigned to type variable "T_contra@CoContra"
generics_variance.py:142:24 - error: Type "Co[T_co@CoContra_Child5]" cannot be assigned to type variable "T_contra@CoContra"
  Variance of type argument "Co[T_co@CoContra_Child5]" is incompatible with base class "CoContra" (reportGeneralTypeIssues)
generics_variance.py:161:33 - error: Type "Co[Contra[T_contra@CoToContraToContra]]" cannot be assigned to type variable "T_contra@Contra"
generics_variance.py:163:33 - error: Type "Co[Contra[T_contra@CoToContraToContra]]" cannot be assigned to type variable "T_contra@Contra"
  Variance of type argument "Co[Contra[T_contra@CoToContraToContra]]" is incompatible with base class "Contra" (reportGeneralTypeIssues)
generics_variance.py:165:37 - error: Type "Contra[Contra[T_co@ContraToContraToContra]]" cannot be assigned to type variable "T_contra@Contra"
generics_variance.py:167:37 - error: Type "Contra[Contra[T_co@ContraToContraToContra]]" cannot be assigned to type variable "T_contra@Contra"
  Variance of type argument "Contra[Contra[T_co@ContraToContraToContra]]" is incompatible with base class "Contra" (reportGeneralTypeIssues)
generics_variance.py:189:43 - error: Could not specialize type "Contra_TA[T_contra@Contra_TA]"
generics_variance.py:191:43 - error: Could not specialize type "Contra_TA[T_contra@Contra_TA]"
  Variance of type argument "Co_TA[Contra_TA[T_contra@CoToContraToContra_WithTA]]" is incompatible with "T_contra@Contra_TA"
generics_variance.py:194:15 - error: Could not specialize type "Contra_TA[T_contra@Contra_TA]"
generics_variance.py:196:15 - error: Could not specialize type "Contra_TA[T_contra@Contra_TA]"
  Variance of type argument "Contra_TA[Contra_TA[T_co@ContraToContraToContra_WithTA]]" is incompatible with "T_contra@Contra_TA"
"""
2 changes: 1 addition & 1 deletion conformance/results/results.html
View file

Large diffs are not rendered by default.

0 comments on commit 7b9eaa6

Please sign in to comment.