compiler/testData/diagnostics/tests/smartCasts/smartCastOnLastExpressionOfLambdaAfterNothing.txt

package

public fun </*0*/ T> foo(/*0*/ f: () -> T): Inv<T>
public fun myExit(): kotlin.Nothing
public fun test(/*0*/ x: kotlin.String?): Inv<kotlin.String>

public final class Inv</*0*/ T> {
    public constructor Inv</*0*/ T>()
    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}