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

Preserve type capabilities of captured type

Browse Source
This commit is contained in:
Denis Zharkov
2015-12-22 15:11:06 +03:00
parent e7dbcfe21f
commit 8d0a90a838
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/descriptors/src/org/jetbrains/kotlin/resolve/calls/inference/CapturedTypeConstructor.kt
+7 -2
View File
@@ -68,10 +68,15 @@ public class CapturedType(
override fun getDelegate(): KotlinType = delegateType override fun getDelegate(): KotlinType = delegateType
override fun getCapabilities(): TypeCapabilities = object : TypeCapabilities {
override fun <T : TypeCapability> getCapability(capabilityClass: Class<T>) =
this@CapturedType.getCapability(capabilityClass)
}
override fun <T : TypeCapability> getCapability(capabilityClass: Class<T>): T? { override fun <T : TypeCapability> getCapability(capabilityClass: Class<T>): T? {
@Suppress("UNCHECKED_CAST") @Suppress("UNCHECKED_CAST")
return if (capabilityClass == javaClass<SubtypingRepresentatives>()) this as T return if (capabilityClass == SubtypingRepresentatives::class.java) this as T
else super<DelegatingType>.getCapability(capabilityClass) else super.getCapability(capabilityClass)
} }
override val subTypeRepresentative: KotlinType override val subTypeRepresentative: KotlinType