diff options
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. */ |