From 91626cf02ec0ac8f34e08993d4361a75bb9cdc6f Mon Sep 17 00:00:00 2001
From: Yan Zhulanow <yan.zhulanow@jetbrains.com>
Date: Wed, 5 Aug 2015 15:45:09 +0300
Subject: [PATCH] Check receiver type annotations in JetCallableDeclaration

---
 .../src/org/jetbrains/kotlin/resolve/AnnotationChecker.kt      | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/AnnotationChecker.kt b/compiler/frontend/src/org/jetbrains/kotlin/resolve/AnnotationChecker.kt
index 1cc3db2a1ab..a6b795a034d 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/AnnotationChecker.kt
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/AnnotationChecker.kt
@@ -37,6 +37,7 @@ public class AnnotationChecker(private val additionalCheckers: Iterable<Addition
         checkEntries(annotated.annotationEntries, actualTargets, trace)
         if (annotated is JetCallableDeclaration) {
             annotated.typeReference?.let { check(it, trace) }
+            annotated.receiverTypeReference?.let { check(it, trace) }
         }
         if (annotated is JetFunction) {
             for (parameter in annotated.valueParameters) {
@@ -158,7 +159,7 @@ public class AnnotationChecker(private val additionalCheckers: Iterable<Addition
                 }
                 is JetPropertyAccessor -> if (annotated.isGetter) targetList(PROPERTY_GETTER) else targetList(PROPERTY_SETTER)
                 is JetPackageDirective -> targetList(PACKAGE)
-                is JetTypeReference -> targetList(TYPE)
+                is JetTypeReference -> extendedTargetList(listOf(VALUE_PARAMETER), TYPE)
                 is JetFile -> targetList(FILE)
                 is JetTypeParameter -> targetList(TYPE_PARAMETER)
                 is JetTypeProjection -> {