compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/approximation.txt

package

public fun </*0*/ T> foo(/*0*/ x: T, /*1*/ y: T & Any): T & Any
public fun main(): kotlin.Unit