diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.overflow')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.overflow | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.overflow b/src/dotty/tools/dotc/core/Types.overflow index 45727fcc1..0474bc229 100644 --- a/src/dotty/tools/dotc/core/Types.overflow +++ b/src/dotty/tools/dotc/core/Types.overflow @@ -21,5 +21,15 @@ object Types { case pt: PolyType => pt.firstParamTypes case _ => Nil } + + /** `tp` is either a type variable or poly param. Returns + * Covariant if all occurrences of `tp` in this type are covariant + * Contravariant if all occurrences of `tp` in this type are contravariant + * Covariant | Contravariant if there are no occurrences of `tp` in this type + * EmptyFlags if `tp` occurs noon-variantly in this type + */ + def varianceOf(tp: Type): FlagSet = ??? + + } }
\ No newline at end of file |