From a42b8d56b4e5f22dad4bdf26a259fd9cd1f508c5 Mon Sep 17 00:00:00 2001
From: Stanislav Erokhin <Stanislav.Erokhin@jetbrains.com>
Date: Fri, 20 May 2016 10:36:05 +0300
Subject: [PATCH] Minor. Removed redundant field for several anonymous objects.

---
 core/descriptors/src/org/jetbrains/kotlin/types/TypeUtils.kt    | 2 +-
 .../kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt    | 2 +-
 .../idea/quickfix/createFromUsage/callableBuilder/typeUtils.kt  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/core/descriptors/src/org/jetbrains/kotlin/types/TypeUtils.kt b/core/descriptors/src/org/jetbrains/kotlin/types/TypeUtils.kt
index 233184f778e..03957435099 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/types/TypeUtils.kt
+++ b/core/descriptors/src/org/jetbrains/kotlin/types/TypeUtils.kt
@@ -90,7 +90,7 @@ fun KotlinType.replaceAnnotations(newAnnotations: Annotations): KotlinType {
     return object : DelegatingType() {
         override fun getDelegate() = this@replaceAnnotations
 
-        override val annotations = newAnnotations
+        override val annotations: Annotations get() = newAnnotations
     }
 }
 
diff --git a/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt b/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
index e7cc70a64eb..ec3418bdde4 100644
--- a/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
+++ b/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
@@ -106,7 +106,7 @@ class SpecifyTypeExplicitlyIntention : SelfTargetingIntention<KtCallableDeclarat
 
                         object: DelegatingType() {
                             override fun getDelegate() = it
-                            override val arguments = newArguments
+                            override val arguments: List<TypeProjection> get() = newArguments
                         }
                     }
                     .ifEmpty { return null }
diff --git a/idea/src/org/jetbrains/kotlin/idea/quickfix/createFromUsage/callableBuilder/typeUtils.kt b/idea/src/org/jetbrains/kotlin/idea/quickfix/createFromUsage/callableBuilder/typeUtils.kt
index 06411620ada..670d86d9900 100644
--- a/idea/src/org/jetbrains/kotlin/idea/quickfix/createFromUsage/callableBuilder/typeUtils.kt
+++ b/idea/src/org/jetbrains/kotlin/idea/quickfix/createFromUsage/callableBuilder/typeUtils.kt
@@ -67,7 +67,7 @@ private fun KotlinType.render(typeParameterNameMap: Map<TypeParameterDescriptor,
 
                 val wrappingType = object : DelegatingType()  {
                     override fun getDelegate(): KotlinType? = typeParameter.defaultType
-                    override val constructor = wrappingTypeConstructor
+                    override val constructor: TypeConstructor get() = wrappingTypeConstructor
                 }
 
                 TypeProjectionImpl(wrappingType)