diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-27 22:10:45 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-28 11:43:43 +0200 |
| commit | 0c582b883971fd89476244aa6905be95da7e79d0 (patch) | |
| tree | 079efc09d1e5b53b1e258b565dbb15c8b14954f7 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | fcb68309c2760a6797b0a9ec23722808060e9aa1 (diff) | |
| download | dotty-0c582b883971fd89476244aa6905be95da7e79d0.tar.gz dotty-0c582b883971fd89476244aa6905be95da7e79d0.tar.bz2 dotty-0c582b883971fd89476244aa6905be95da7e79d0.zip | |
Several bug fixes to typer and classfile reader.
In particular, changed internal representation of Java constructors and
changed treatment of parent constructors in templates.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 0c33aa026..21ebc196a 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -120,7 +120,11 @@ class Typer extends Namer with Applications with Implicits { alts foreach (_.isAccessibleFrom(pre, superAccess, whyNot)) ctx.error(i"$what cannot be accessed in $where.$whyNot") ErrorType - } else tpe withDenot d + } + else if (d.symbol is TypeParamAccessor) // always dereference type param accessors + checkAccessible(d.info.bounds.hi, superAccess, pos) + else + tpe withDenot d case _ => tpe } |