034671ad78
See the comment at updateSubstitutedMemberIfReceiverContainsTypeVariable It became necessary after delegate inference is rewritten, since before that happened, stub types were being left there and FIR2IR handled them accidentally properly because stub types are equal to anything. But that wasn't really correct even there because stub types are not intended to leak out of the FIR ^KT-61060
44 lines
2.4 KiB
Plaintext
Vendored
44 lines
2.4 KiB
Plaintext
Vendored
FILE: hideBySeverity.kt
|
|
public abstract class StoredPropertyBase<T> : R|kotlin/properties/ReadWriteProperty<BaseState, T>| {
|
|
public constructor<T>(): R|StoredPropertyBase<T>| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
}
|
|
public abstract class StoredPropertyDerived<T> : R|StoredPropertyBase<T>| {
|
|
public constructor<T>(): R|StoredPropertyDerived<T>| {
|
|
super<R|StoredPropertyBase<T>|>()
|
|
}
|
|
|
|
public final operator fun provideDelegate(thisRef: R|kotlin/Any|, property: R|kotlin/reflect/KProperty<*>|): R|StoredPropertyBase<T>| {
|
|
^provideDelegate this@R|/StoredPropertyDerived|
|
|
}
|
|
|
|
}
|
|
public abstract class BaseState : R|kotlin/Any| {
|
|
public constructor(): R|BaseState| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
protected abstract fun <PROPERTY_TYPE> propertyDerived(initialValue: R|PROPERTY_TYPE|): R|StoredPropertyDerived<PROPERTY_TYPE>|
|
|
|
|
protected abstract fun <PROPERTY_TYPE> propertyBase(initialValue: R|PROPERTY_TYPE|): R|StoredPropertyBase<PROPERTY_TYPE>|
|
|
|
|
}
|
|
public abstract class Some : R|BaseState| {
|
|
public constructor(): R|Some| {
|
|
super<R|BaseState|>()
|
|
}
|
|
|
|
public final val hideBySeverityDerived: R|kotlin/collections/MutableSet<kotlin/Int>|by this@R|/Some|.R|/BaseState.propertyDerived|<R|kotlin/collections/MutableSet<kotlin/Int>|>(R|kotlin/collections/mutableSetOf|<R|kotlin/Int|>()).R|SubstitutionOverride</StoredPropertyDerived.provideDelegate: R|StoredPropertyBase<kotlin/collections/MutableSet<kotlin/Int>>|>|(this@R|/Some|, ::R|/Some.hideBySeverityDerived|)
|
|
public get(): R|kotlin/collections/MutableSet<kotlin/Int>| {
|
|
^ this@R|/Some|.D|/Some.hideBySeverityDerived|.R|SubstitutionOverride</StoredPropertyBase.getValue: R|kotlin/collections/MutableSet<kotlin/Int>|>|(this@R|/Some|, ::R|/Some.hideBySeverityDerived|)
|
|
}
|
|
|
|
public final val hideBySeverityBase: R|kotlin/collections/MutableSet<kotlin/Int>|by this@R|/Some|.R|/BaseState.propertyBase|<R|kotlin/collections/MutableSet<kotlin/Int>|>(R|kotlin/collections/mutableSetOf|<R|kotlin/Int|>())
|
|
public get(): R|kotlin/collections/MutableSet<kotlin/Int>| {
|
|
^ this@R|/Some|.D|/Some.hideBySeverityBase|.R|SubstitutionOverride</StoredPropertyBase.getValue: R|kotlin/collections/MutableSet<kotlin/Int>|>|(this@R|/Some|, ::R|/Some.hideBySeverityBase|)
|
|
}
|
|
|
|
}
|