[NI] Consider synthetic lower nullability constraint non-proper

compiler/testData/diagnostics/tests/inference/nothingType/notEnoughInformationFromNullabilityConstraint.fir.kt

@@ -0,0 +1,9 @@
+// !LANGUAGE: +NewInference
+// !WITH_NEW_INFERENCE
+
+fun <M> make(): M? = null
+fun <I> id(arg: I): I = arg
+
+val v = id(
+    make()
+)

compiler/testData/diagnostics/tests/inference/nothingType/notEnoughInformationFromNullabilityConstraint.kt

@@ -0,0 +1,9 @@
+// !LANGUAGE: +NewInference
+// !WITH_NEW_INFERENCE
+
+fun <M> make(): M? = null
+fun <I> id(arg: I): I = arg
+
+val v = <!NI;NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, OI;TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>id<!>(
+    <!NI;NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, OI;TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>make<!>()
+)

compiler/testData/diagnostics/tests/inference/nothingType/notEnoughInformationFromNullabilityConstraint.txt

@@ -0,0 +1,7 @@
+package
+
+public val v: [ERROR : Type for id(
+    make()
+)]
+public fun </*0*/ I> id(/*0*/ arg: I): I
+public fun </*0*/ M> make(): M?