blob: f9e642b4d152cbf47c5e41a6b59ab5d4e428a0b2 [file]
// RUN_PIPELINE_TILL: FRONTEND
// JAVAC_EXPECTED_FILE
// See KT-9816, KT-9742
// Not allowed in Java
class ZException<!GENERIC_THROWABLE_SUBCLASS!><T><!>(val p: T) : Exception()
class YException<!GENERIC_THROWABLE_SUBCLASS!><T><!>(val p: T): java.lang.RuntimeException()
class XException<!GENERIC_THROWABLE_SUBCLASS!><T><!>(val p: T): Throwable()
fun bar() {
try {
throw ZException(11)
} catch (e: ZException<*>) {}
}
fun <T : Throwable> tryCatch() {
try { } catch (<!TYPE_PARAMETER_IN_CATCH_CLAUSE!>e: T<!>) { }
}
fun <T : Nothing?> test1() {
try {
throw Exception()
} catch (<!TYPE_PARAMETER_IN_CATCH_CLAUSE!>x: T & Any<!>) {
}
}
/* GENERATED_FIR_TAGS: classDeclaration, dnnType, functionDeclaration, functionalType, inline, integerLiteral,
localProperty, nullableType, primaryConstructor, propertyDeclaration, reified, starProjection, tryExpression,
typeConstraint, typeParameter */