diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:41:58 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:55:50 +0100 |
| commit | 5f35b11ceb228e7a803263490f2d8e8a22ee2fe6 (patch) | |
| tree | 0f2d1fbddebee6370d23778e178491659ee9de95 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 4429243278ea671ccaf8344f4b65519fe6800a47 (diff) | |
| download | dotty-5f35b11ceb228e7a803263490f2d8e8a22ee2fe6.tar.gz dotty-5f35b11ceb228e7a803263490f2d8e8a22ee2fe6.tar.bz2 dotty-5f35b11ceb228e7a803263490f2d8e8a22ee2fe6.zip | |
Split off ConstraintHandling into separate trait.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index f2329d284..d64e7340e 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2217,6 +2217,8 @@ object Types { } /** A reference to the `this` of an enclosing refined type. + * @param binder The refinement type referred to the RefinedThis when + * it was created. * @param level The number of enclosing refined types between * the `this` reference and its target. */ |