diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA194093.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA194093.java
new file mode 100644
index 000000000000..45c92cdda940
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA194093.java
@@ -0,0 +1,24 @@
+import java.util.List;
+
+class Repro { // signatures from org.hamcrest, ExactlyOneOf is custom
+
+	interface Matcher<T> { }
+
+	public static <T> Matcher<Iterable<? super T>> hasItem(T item) { return null; }
+
+	@SafeVarargs
+	public static <E> Matcher<Iterable<? extends E>> contains(E... items) { return null; }
+
+	class ExactlyOneOf<T> implements Matcher<T> { }
+
+	@SafeVarargs
+	public static <T> ExactlyOneOf<T> exactlyOneOf(Matcher<? super T>... matchers) { return null; }
+
+	void repro() {
+		Matcher<List<String>> matcher = exactlyOneOf<error descr="'exactlyOneOf(Repro.Matcher<? super java.util.List<java.lang.String>>...)' in 'Repro' cannot be applied to '(Repro.Matcher<java.lang.Iterable<? super java.lang.String>>, Repro.Matcher<java.lang.Iterable<? super java.lang.String>>, Repro.Matcher<java.lang.Iterable<? extends java.lang.String>>)'">( // not red or yellow
+				hasItem("hello"),
+				hasItem("world"),
+				contains("a", "b")
+		)</error>;
+	}
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GenericsHighlighting8Test.java b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
index ba542c6d722b..f1e9eb34ec5b 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
@@ -1033,6 +1033,10 @@ public class GenericsHighlighting8Test extends LightDaemonAnalyzerTestCase {
   public void testConditionalExpressionInIncompleteCall() {
     doTest();
   }
+  
+  public void testIDEA194093 () {
+    doTest();
+  }
 
   public void testBridgeMethodOverriding() { doTest(); }
   public void testNestedWildcardsWithImplicitBounds() { doTest(); }