diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-19 16:54:53 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-05-19 16:54:53 +0200 |
| commit | 772f3d20fd3605d077abf28e80195f1dda343ee1 (patch) | |
| tree | c40e295f8524dd1194547cc704d6e11dba4d24a9 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 0dd8a135569b8f3f63d9c87fb5ad684d263db9f1 (diff) | |
| download | dotty-772f3d20fd3605d077abf28e80195f1dda343ee1.tar.gz dotty-772f3d20fd3605d077abf28e80195f1dda343ee1.tar.bz2 dotty-772f3d20fd3605d077abf28e80195f1dda343ee1.zip | |
Move `stripAnnots` to `isRef` instead of performing explicitly everywhere
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 8ef0e9fd1..a0307c9b7 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -105,7 +105,7 @@ object Types { * It makes no sense for it to be an alias type because isRef would always * return false in that case. */ - def isRef(sym: Symbol)(implicit ctx: Context): Boolean = stripTypeVar match { + def isRef(sym: Symbol)(implicit ctx: Context): Boolean = stripAnnots.stripTypeVar match { case this1: TypeRef => this1.info match { // see comment in Namer#typeDefSig case TypeAlias(tp) => tp.isRef(sym) |