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
   }
 }