azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR-TEST] Move existing contract tests to fromLibrary directory

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-04-10 14:43:53 +03:00
parent ba35c43fe9
commit 3c33ee9c68
9 changed files with 24 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.txt
Vendored
+45
View File
@@ -0,0 +1,45 @@
FILE: conditionalEffects.kt
public final fun test_1(x: R|kotlin/Any|): R|kotlin/Unit| {
R|kotlin/require|((R|<local>/x| is R|kotlin/Int|))
R|<local>/x|.R|kotlin/Int.inc|()
}
public final fun test_2(x: R|kotlin/String?|): R|kotlin/Unit| {
R|kotlin/requireNotNull|<R|kotlin/String|>(R|<local>/x|)
R|<local>/x|.R|kotlin/String.length|
}
public final fun test_3(x: R|kotlin/String?|): R|kotlin/Unit| {
R|kotlin/require|(!=(R|<local>/x|, Null(null)))
R|<local>/x|.R|kotlin/String.length|
}
public final fun test_4(x: R|kotlin/Any|, y: R|kotlin/String?|): R|kotlin/Unit| {
R|kotlin/require|((R|<local>/x| is R|kotlin/String|) && !=(R|<local>/y|, Null(null)))
R|<local>/x|.R|kotlin/String.length|
R|<local>/y|.R|kotlin/String.length|
}
public final fun test_5(x: R|kotlin/Any|, b: R|kotlin/Boolean|): R|kotlin/Unit| {
when () {
R|<local>/b| -> {
R|kotlin/require|((R|<local>/x| is R|kotlin/String|))
R|<local>/x|.R|kotlin/String.length|
}
else -> {
R|<local>/x|.<Unresolved name: length>#
}
}
R|<local>/x|.<Unresolved name: length>#
}
public final fun test_6(x: R|kotlin/Any|, b: R|kotlin/Boolean|): R|kotlin/Unit| {
when () {
R|<local>/b| -> {
R|kotlin/require|((R|<local>/x| is R|kotlin/String|))
R|<local>/x|.R|kotlin/String.length|
}
else -> {
R|kotlin/require|((R|<local>/x| is R|kotlin/String|))
R|<local>/x|.R|kotlin/String.length|
}
}
R|<local>/x|.R|kotlin/String.length|
}