replace with diamonds should always check if inferred type agrees with expected type (IDEA-73944)

java/java-tests/testData/refactoring/introduceVariable/CantCollapsedToDiamond.after.java

@@ -0,0 +1,10 @@
+class Test {
+  void foo() {
+      final Foo<Number> a = new Foo<Number>(1);
+  }
+}
+
+class Foo<T> {
+  Foo(T t) {
+  }
+}

java/java-tests/testData/refactoring/introduceVariable/CantCollapsedToDiamond.java

@@ -0,0 +1,10 @@
+class Test {
+  void foo() {
+      new Foo<Num<caret>ber>(1);
+  }
+}
+
+class Foo<T> {
+  Foo(T t) {
+  }
+}