diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-04-05 12:12:38 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-04-05 12:12:38 +0200 |
| commit | 3dcfcb024358627165a50ac306d7e0cbb5f97842 (patch) | |
| tree | 58c15716a4d2c05963342a7b8134415525f54b2f /src/dotty/tools/dotc/core/Denotations.scala | |
| parent | 4e1fd1a776f71086371f7efa0e95bcef26098bad (diff) | |
| download | dotty-3dcfcb024358627165a50ac306d7e0cbb5f97842.tar.gz dotty-3dcfcb024358627165a50ac306d7e0cbb5f97842.tar.bz2 dotty-3dcfcb024358627165a50ac306d7e0cbb5f97842.zip | |
Small change to disjointAsSeenFrom.
Not sure this matters, but seems to be prudent not ot force signature here.
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala index 9144cc2db..53e366bcc 100644 --- a/src/dotty/tools/dotc/core/Denotations.scala +++ b/src/dotty/tools/dotc/core/Denotations.scala @@ -475,7 +475,7 @@ object Denotations { final def filterDisjoint(denots: PreDenotation)(implicit ctx: Context): SingleDenotation = if (denots.containsSig(signature)) NoDenotation else this def disjointAsSeenFrom(denots: PreDenotation, pre: Type)(implicit ctx: Context): SingleDenotation = - if (signature == NotAMethod) filterDisjoint(denots).asSeenFrom(pre) + if (isType) filterDisjoint(denots).asSeenFrom(pre) else asSeenFrom(pre).filterDisjoint(denots) final def filterExcluded(excluded: FlagSet)(implicit ctx: Context): SingleDenotation = if (excluded == EmptyFlags) this |