From e29bf9f509f79a6e8b397627ec0499e66f829e35 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Mon, 21 Feb 2011 10:52:15 +0100
Subject: [PATCH] diamonds inference: test data just-in-case

---
 .../advHighlighting7/DiamondMisc.java         | 26 ++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/DiamondMisc.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/DiamondMisc.java
index 30b750e35c9f..d802f473b299 100644
--- a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/DiamondMisc.java
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/DiamondMisc.java
@@ -42,4 +42,28 @@ class Test1 {
 }
 
 class FF<X> extends F<X>{}
-class F<T> {}
\ No newline at end of file
+class F<T> {}
+
+class MyTest {
+     static class Foo<X> {
+        Foo(X x) {}
+     }
+
+     static interface Base<Y> {}
+     static class A extends Exception implements Base<String> {}
+     static class B extends Exception implements Base<Integer> {}
+
+     void m() throws B {
+         try {
+             if (true) {
+                 throw new A();
+             }
+             else {
+                 throw new B();
+             }
+         } catch (A ex) {
+             Foo<? extends Base<String>> foo1 = new Foo<>(ex);  // ok
+             <error descr="Incompatible types. Found: 'MyTest.Foo<MyTest.A>', required: 'MyTest.Foo<MyTest.Base<java.lang.String>>'">Foo<Base<String>> foo2 = new Foo<>(ex);</error>  // should be error
+         }
+     }
+}