diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-03 17:20:19 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 06:40:41 +0200 |
| commit | b8de0ad29a91ec3df2985009e17b6b8b4b52f674 (patch) | |
| tree | c344a988e9db91ca102204ea7f4626a1161bc43c /src/dotty/tools/dotc/typer/Variances.scala | |
| parent | 7b845a54de291acf837aa2a8fe01acb9205341c4 (diff) | |
| download | dotty-b8de0ad29a91ec3df2985009e17b6b8b4b52f674.tar.gz dotty-b8de0ad29a91ec3df2985009e17b6b8b4b52f674.tar.bz2 dotty-b8de0ad29a91ec3df2985009e17b6b8b4b52f674.zip | |
Seems to be a bug ping @odesrky
Diffstat (limited to 'src/dotty/tools/dotc/typer/Variances.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Variances.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Variances.scala b/src/dotty/tools/dotc/typer/Variances.scala index fadf9f952..44b64553b 100644 --- a/src/dotty/tools/dotc/typer/Variances.scala +++ b/src/dotty/tools/dotc/typer/Variances.scala @@ -71,6 +71,7 @@ object Variances { case TermRef(pre, sym) => varianceInType(pre)(tparam) case TypeRef(pre, sym) => + /* @odersky sym is a typeName here, comparison is always false */ if (sym == tparam) Covariant else varianceInType(pre)(tparam) case tp @ TypeBounds(lo, hi) => if (lo eq hi) compose(varianceInType(hi)(tparam), tp.variance) |