From 70dc372796aa380efafa1a59bac83e945a191fbf Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 15 Oct 2013 17:54:52 +0200 Subject: Added forgotten cases to TypeAccumulators. --- src/dotty/tools/dotc/core/Types.scala | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/dotty/tools/dotc') diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index bb010668e..ab1ba8141 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2327,6 +2327,13 @@ object Types { variance = -variance this(y, hi) } + + case AndType(l, r) => + this(this(x, l), r) + + case OrType(l, r) => + this(this(x, l), r) + case AnnotatedType(annot, underlying) => this(this(x, annot), underlying) -- cgit v1.2.3