diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-09 13:31:51 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-19 14:02:17 +0100 |
| commit | cecaa4baa7ed1e42d2d6788b334925e2ba6ae809 (patch) | |
| tree | cd3d4cfd3bf1d037f0d4f2719ad3d2bd23e86c37 /src/dotty/tools/dotc/typer/Checking.scala | |
| parent | 8158279b556bc9f39d59adadefeb85d44c93433e (diff) | |
| download | dotty-cecaa4baa7ed1e42d2d6788b334925e2ba6ae809.tar.gz dotty-cecaa4baa7ed1e42d2d6788b334925e2ba6ae809.tar.bz2 dotty-cecaa4baa7ed1e42d2d6788b334925e2ba6ae809.zip | |
Remove unused method, fix comments.
Addendum to change-isVolatile. Changes did not make it in
by accident before that branch was merged.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Checking.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Checking.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala index 7e279b9e4..414d8952d 100644 --- a/src/dotty/tools/dotc/typer/Checking.scala +++ b/src/dotty/tools/dotc/typer/Checking.scala @@ -49,7 +49,10 @@ object Checking { def checkBounds(args: List[tpd.Tree], poly: PolyType)(implicit ctx: Context): Unit = checkBounds(args, poly.paramBounds, _.substParams(poly, _)) - /** Check all AppliedTypeTree nodes in this tree for legal bounds @@@ */ + /** Traverse type tree, performing the following checks: + * 1. All arguments of applied type trees must conform to their bounds. + * 2. Prefixes of type selections and singleton types must be realizable. + */ val typeChecker = new TreeTraverser { def traverse(tree: Tree)(implicit ctx: Context) = { tree match { |