Nullability of intersection type should be determined by supertypes

Intersection types cannot be nullable as is because of special rules for subtyping

compiler/testData/codegen/box/regressions/noAssertionsWhenNullableTypeParameterReplacedWithIntersectionType.kt

@@ -0,0 +1,26 @@
+// !LANGUAGE: +NewInference
+
+class Recursive<T : Recursive<T>> : Generic<PlaceHolder<T>>, MainSupertype
+open class Simple<T> : Generic<T>, MainSupertype
+
+interface Generic<T>
+
+interface PlaceHolder<T : MainSupertype> : Stub<T>
+interface Stub<T : MainSupertype>
+
+interface MainSupertype
+
+interface SpecificStub<T : SpecificSimple> : Stub<T>
+abstract class SpecificSimple : Simple<SpecificStub<*>>()
+
+
+fun takeElement(recursive: Recursive<*>?, simpleWithSpecific: Simple<SpecificStub<*>>) {
+    select(recursive, simpleWithSpecific) // T -> intersection type
+}
+
+fun <T> select(x: T?, y: T): T = y
+
+fun box(): String {
+    takeElement(null, Simple())
+    return "OK"
+}