From bf06e150c44f2e68367ad7d7e488dda0352fb4fb Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Sun, 9 Feb 2014 19:07:24 -0800 Subject: SI-6169 TODO: consolidate with fix for SI-1786 (#2518) --- src/compiler/scala/tools/nsc/typechecker/Typers.scala | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/compiler') diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 10fe530445..e762196128 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -4901,6 +4901,9 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper ) arg match { case Bind(_, _) => enhanceBounds() + // TODO: consolidate fixes for SI-6169 and SI-1786 by dropping the Ident case, + // in favor of doing sharpenQuantifierBounds for all ExistentialTypes, not just java-defined ones + // (need to figure out how to sharpen the bounds on creation without running into cycles) case Ident(name) if canEnhanceIdent => enhanceBounds() case _ => } -- cgit v1.2.3