From 3c4fdc0534b89264950677320879f36bdc37de76 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Mon, 4 Jun 2012 20:24:48 +0400
Subject: [PATCH] Fix "Type can be weakened" warning

---
 .../src/org/jetbrains/jet/cli/jvm/compiler/TipsManager.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/backend/src/org/jetbrains/jet/cli/jvm/compiler/TipsManager.java b/compiler/backend/src/org/jetbrains/jet/cli/jvm/compiler/TipsManager.java
index cc341a24cb7..9c625a867d1 100644
--- a/compiler/backend/src/org/jetbrains/jet/cli/jvm/compiler/TipsManager.java
+++ b/compiler/backend/src/org/jetbrains/jet/cli/jvm/compiler/TipsManager.java
@@ -98,7 +98,7 @@ public final class TipsManager {
                 return excludeNonPackageDescriptors(resolutionScope.getAllDescriptors());
             }
             else {
-                HashSet<DeclarationDescriptor> descriptorsSet = Sets.newHashSet();
+                Collection<DeclarationDescriptor> descriptorsSet = Sets.newHashSet();
 
                 ArrayList<ReceiverDescriptor> result = new ArrayList<ReceiverDescriptor>();
                 resolutionScope.getImplicitReceiversHierarchy(result);