Fix warnings

This commit is contained in:
Him188 2020-03-05 21:39:53 +08:00
parent 3b16f0a226
commit 4085ecbdd8

View File

@ -358,7 +358,7 @@ internal class MemberInfoImpl(
override val muteTimestamp: Int = jceInfo.dwShutupTimestap?.toInt() ?: 0
}
@UseExperimental(ExperimentalContracts::class)
@OptIn(ExperimentalContracts::class)
internal fun GroupImpl.Companion.checkIsInstance(expression: Boolean) {
contract {
returns() implies expression