diff options
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) } } |