From a265c364a344666617e5d574d6cda380349a2f39 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-laptop.(none)>
Date: Tue, 3 May 2011 13:21:21 +0400
Subject: [PATCH] A work-around for an overload resolution bug

---
 idea/testData/codegen/tryCatch.jet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/testData/codegen/tryCatch.jet b/idea/testData/codegen/tryCatch.jet
index 0314589c143..ae8790a1b4f 100644
--- a/idea/testData/codegen/tryCatch.jet
+++ b/idea/testData/codegen/tryCatch.jet
@@ -4,6 +4,6 @@ fun foo(s: String): String? {
     return "no message";
   }
   catch(e: NumberFormatException) {
-    return e.getMessage();
+    return (e : Throwable).getMessage(); // Work around an overload-resolution bug
   }
 }