mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 08:31:29 +00:00
26 lines
805 B
Kotlin
Vendored
26 lines
805 B
Kotlin
Vendored
// FILE: test/CallableDescriptor.java
|
|
|
|
// IGNORE_BACKEND: JVM_IR
|
|
// See KT-35656, here JMV_IR correctly generates a nullability assertion for an argument of 'Iterable<T>.contains(T)'.
|
|
|
|
package test;
|
|
|
|
import org.jetbrains.annotations.NotNull;
|
|
|
|
public interface CallableDescriptor {
|
|
@NotNull
|
|
CallableDescriptor getOriginal();
|
|
}
|
|
|
|
// FILE: test/k.kt
|
|
package test
|
|
|
|
fun <D : CallableDescriptor> D.overriddenTreeUniqueAsSequenceA(): Boolean {
|
|
return original in emptySet<D>()
|
|
}
|
|
|
|
// TODO: in fact, there should be an assertion, but it's missing because of https://youtrack.jetbrains.com/issue/KT-24210.
|
|
// (This test's aim is not to check whether or not the assertion is generated, but to ensure that the behavior is deterministic.)
|
|
// 0 checkExpressionValueIsNotNull
|
|
// 0 checkNotNullExpressionValue
|