https://kotlinlang.org/docs/reference/whatsnew13.html#contracts

require_smart_cast.kt

// これはだめ
fun foo(s: String?) {
	print(s.toUpperCase()) // s は nullable なので s? or s!! しないとメソッド呼び出しできない
}

// これはok
fun foo(s: String?) {
	requireNotNull(s) // not null であることが事前条件に書かれてるのでこれ以降のスコープでは nonnullとして スマートキャストされる
	print(s.toUpperCase())
}

// 型とかでも同じ
fun foo(s: Any) {
	require(s is String) // これ以降は s は Any ではなく String
}

// see also https://kotlinlang.org/docs/reference/whatsnew13.html#contracts
// といっても run time であることには変わりがないけれど