inference for non-poly expressions: isAssignable already contains loose context inside, don't allow any additional conversions (IDEA-152694)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/LooseInvocationContextForProperPrimitiveTypes.java

@@ -0,0 +1,8 @@
+class Test {
+
+  {
+    pair<error descr="'pair(byte)' in 'Test' cannot be applied to '(int)'">(2)</error>;
+  }
+
+  static <T> void pair( byte b) {}
+}