We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 9c21d7a + bc1d8a3 commit 0bd50d3Copy full SHA for 0bd50d3
compiler/src/dotty/tools/dotc/typer/Inferencing.scala
@@ -377,7 +377,7 @@ object Inferencing {
377
378
/** All occurrences of type vars in this type that satisfy predicate
379
* `include` mapped to their variances (-1/0/1) in this type, where
380
- * -1 means: only covariant occurrences
+ * -1 means: only contravariant occurrences
381
* +1 means: only covariant occurrences
382
* 0 means: mixed or non-variant occurrences
383
*
0 commit comments