diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-08 17:29:35 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-08 17:29:35 +0100 |
| commit | 57e449ed18bc4643871e5e84ddf2c9d334d12acb (patch) | |
| tree | 71d34d3f5c23d5b56dc2a4373f9287a8c1bdf66e /compiler | |
| parent | c6685d520df9cd428019f741f2eeb153af02ac2b (diff) | |
| download | dotty-57e449ed18bc4643871e5e84ddf2c9d334d12acb.tar.gz dotty-57e449ed18bc4643871e5e84ddf2c9d334d12acb.tar.bz2 dotty-57e449ed18bc4643871e5e84ddf2c9d334d12acb.zip | |
Fix comment
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/Types.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 6aa77de52..070a6ea83 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -1273,8 +1273,9 @@ object Types { def underlying(implicit ctx: Context): Type /** The closest supertype of this type. This is the same as `underlying`, - * except for TypeRefs where the upper bound is returned, and HKApplys, - * where the upper bound of the constructor is re-applied to the arguments. + * except that + * - instead of a TyperBounds type it returns its upper bound, and + * - for HKApplys it returns the upper bound of the constructor re-applied to the arguments. */ def superType(implicit ctx: Context): Type = underlying match { case TypeBounds(_, hi) => hi |