diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-24 15:02:27 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-24 15:02:27 +0100 |
| commit | 4a17f0d1e17adecbdc4755bf719feff18d115318 (patch) | |
| tree | 1d373cd855f9631fd567bbbba2f0e9dd633ecc3d /src/dotty/tools/dotc/core/Types.scala | |
| parent | b791ef8e586d86af68f1212c9abecc22bb2d4de1 (diff) | |
| download | dotty-4a17f0d1e17adecbdc4755bf719feff18d115318.tar.gz dotty-4a17f0d1e17adecbdc4755bf719feff18d115318.tar.bz2 dotty-4a17f0d1e17adecbdc4755bf719feff18d115318.zip | |
More fixes to classfile loading.
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 445f4c634..9f5a56df7 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -596,6 +596,8 @@ object Types { hkRefinement(tp) case tp: TypeProxy => tp.underlying.appliedTo(args) + case AndType(l, r) => + l.appliedTo(args) & r.appliedTo(args) } } |