Clean the code
This commit is contained in:
+1
-1
@@ -10,4 +10,4 @@ fun baz(num: Int?, element: MyElement, block: () -> Unit): Int contract [
|
||||
return 1;
|
||||
}
|
||||
return 0
|
||||
}
|
||||
}
|
||||
|
||||
@@ -9,4 +9,4 @@ fun someFunctionWithTypeConstraints<T, E>(arg: E?, block: () -> T): String
|
||||
block()
|
||||
arg ?: throw NullArgumentException()
|
||||
return "some string"
|
||||
}
|
||||
}
|
||||
|
||||
+1
-1
@@ -1,3 +1,3 @@
|
||||
fun foo(s: String?) contract [returns() implies (s != null)] {
|
||||
s ?: throw NullArgumentException()
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user