From 1d3c0f56a95f4ec39395077dac6f62f3f2b2f304 Mon Sep 17 00:00:00 2001
From: Dmitriy Novozhilov <dmitriy.novozhilov@jetbrains.com>
Date: Mon, 29 Jun 2020 17:43:58 +0300
Subject: [PATCH] [FIR] Save type attributes in substitution

---
 .../jetbrains/kotlin/fir/resolve/substitution/Substitutors.kt  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/substitution/Substitutors.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/substitution/Substitutors.kt
index 17ee3cc6eec..ade5bba97db 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/substitution/Substitutors.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/substitution/Substitutors.kt
@@ -107,7 +107,8 @@ abstract class AbstractConeSubstitutor : ConeSubstitutor() {
                 is ConeClassLikeTypeImpl -> ConeClassLikeTypeImpl(
                     lookupTag,
                     newArguments as Array<ConeTypeProjection>,
-                    nullability.isNullable
+                    nullability.isNullable,
+                    attributes
                 )
                 is ConeClassLikeType -> error("Unknown class-like type to substitute: $this, ${this::class}")
                 else -> error("Unknown type to substitute: $this, ${this::class}")