Allowed changing variance from 'invariant' to 'in' and 'out' in alternative signatures.

2012-09-21 18:19:30 +04:00
parent 8c7d1b5dd0
commit 292af9eea1
1 changed files with 1 additions and 1 deletions
@@ -375,7 +375,7 @@ class AlternativeSignatureData {
                            fail("Star projection is not available in alternative signatures");
                        default:
                    }
-                    if (altVariance != variance) {
+                    if (altVariance != variance && variance != Variance.INVARIANT) {
                        fail("Variance mismatch, actual: %s, in alternative signature: %s", variance, altVariance);
                    }
                }