Validate arguments of KTypeProjection constructor

#KT-34596 Fixed
This commit is contained in:
Ilya Gorbunov
2020-06-18 20:26:05 +03:00
parent d41e8ed4ad
commit 53cbcfac5a
2 changed files with 33 additions and 0 deletions
@@ -73,6 +73,16 @@ public data class KTypeProjection constructor(
*/
public val type: KType?
) {
init {
require((variance == null) == (type == null)) {
if (variance == null)
"Star projection must have no type specified."
else
"The projection variance $variance requires type to be specified."
}
}
override fun toString(): String = when (variance) {
null -> "*"
KVariance.INVARIANT -> type.toString()