Relinking spec tests

This commit is contained in:
victor.petukhov
2019-08-12 12:06:17 +03:00
parent 8465d690f1
commit d8e5b068d5
590 changed files with 3720 additions and 10085 deletions
@@ -90,13 +90,10 @@ fun <T>case_8(x: Inv<T>?) {
}
}
/*
* TESTCASE NUMBER: 9
* UNEXPECTED BEHAVIOUR
*/
// TESTCASE NUMBER: 9
inline fun <reified T>case_9(x: Out<T>?) {
if (x?.prop_1?.prop_1?.prop_1?.prop_1 != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1<!UNSAFE_CALL!>.<!>prop_1<!UNSAFE_CALL!>.<!>prop_1<!>
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1<!UNSAFE_CALL!>.<!>prop_1<!UNSAFE_CALL!>.<!>prop_1<!><!UNSAFE_CALL!>.<!>equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T> & Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1.prop_1.prop_1<!>
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T> & Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1.prop_1.prop_1<!>.equals(10)
}
}