From 8673819260fd06fcc32fcb99734caec02a2cd5a6 Mon Sep 17 00:00:00 2001
From: Roman Golyshev <roman.golyshev@jetbrains.com>
Date: Mon, 4 Oct 2021 15:28:39 +0300
Subject: [PATCH] [FIR] Add requirement to `checkUpperBoundViolated` function

---
 .../fir/analysis/checkers/FirUpperBoundViolatedHelpers.kt     | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirUpperBoundViolatedHelpers.kt b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirUpperBoundViolatedHelpers.kt
index 538a5c99ca3..59acd56e3ef 100644
--- a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirUpperBoundViolatedHelpers.kt
+++ b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirUpperBoundViolatedHelpers.kt
@@ -33,6 +33,10 @@ fun checkUpperBoundViolated(
     isTypeAlias: Boolean = false,
     isIgnoreTypeParameters: Boolean = false
 ) {
+    require(typeArguments == null || typeArgumentRefsAndSources == null) {
+        "Only one of those arguments can be not null"
+    }
+
     val type = typeRef?.coneTypeSafe<ConeKotlinType>() ?: return
 
     val typeArgumentsCount = typeArguments?.size ?: type.typeArguments.size