diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-12 17:12:59 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-12 18:14:04 +0200 |
| commit | 84a1a7ae7b1e4931fe04a5a21a04bb858e8acebb (patch) | |
| tree | 0cb537aeafff402970ce51c0790cd9ba4e8de846 /src/dotty/tools/dotc/core/Symbols.scala | |
| parent | cdebd91712b36b048233d7cf9501cc7a5bb50b31 (diff) | |
| download | dotty-84a1a7ae7b1e4931fe04a5a21a04bb858e8acebb.tar.gz dotty-84a1a7ae7b1e4931fe04a5a21a04bb858e8acebb.tar.bz2 dotty-84a1a7ae7b1e4931fe04a5a21a04bb858e8acebb.zip | |
Avoid dealiasing on type application
When applying a type alias of a type lambda, keep the original
application instead of reducing. But reduce anyway if
- the reduced type is an application where the type
constructor has the same kind as the original type constructor, or
- some of the arguments are wildcards.
Diffstat (limited to 'src/dotty/tools/dotc/core/Symbols.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Symbols.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala index 229df4576..d46ea6b0f 100644 --- a/src/dotty/tools/dotc/core/Symbols.scala +++ b/src/dotty/tools/dotc/core/Symbols.scala @@ -491,7 +491,7 @@ object Symbols { // TypeParamInfo methods def isTypeParam(implicit ctx: Context) = denot.is(TypeParam) - def paramName(implicit ctx: Context): Name = name + def paramName(implicit ctx: Context) = name.asTypeName def paramBounds(implicit ctx: Context) = denot.info.bounds def paramBoundsAsSeenFrom(pre: Type)(implicit ctx: Context) = pre.memberInfo(this).bounds def paramBoundsOrCompleter(implicit ctx: Context): Type = denot.infoOrCompleter |