diff --git a/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/diagnosticUtils.kt b/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/diagnosticUtils.kt
index e63ad39e3f7..8a8ea25d0eb 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/diagnosticUtils.kt
+++ b/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/diagnosticUtils.kt
@@ -61,7 +61,9 @@ fun ResolutionContext<*>.reportTypeMismatchDueToTypeProjection(
         is CallPosition.Unknown -> return false
     }
 
-    val receiverType = resolvedCall.dispatchReceiver?.type ?: return false
+    val receiverType = resolvedCall.smartCastDispatchReceiverType
+                       ?: (resolvedCall.dispatchReceiver ?: return false).type
+
     val callableDescriptor = resolvedCall.resultingDescriptor.original
 
     val substitutedDescriptor =
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/CandidateResolver.kt b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/CandidateResolver.kt
index 7d55604850d..b07b29b3127 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/CandidateResolver.kt
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/CandidateResolver.kt
@@ -436,7 +436,7 @@ class CandidateResolver(
     }
 
     private fun <D : CallableDescriptor> CallCandidateResolutionContext<D>.checkReceiver(
-            candidateCall: ResolvedCall<D>,
+            candidateCall: MutableResolvedCall<D>,
             receiverParameter: ReceiverParameterDescriptor?,
             receiverArgument: ReceiverValue?,
             isExplicitReceiver: Boolean,
@@ -497,9 +497,12 @@ class CandidateResolver(
             if (smartCastResult == null) {
                 reportUnsafeCall = true
             }
-            else if (!smartCastResult.isCorrect) {
-                // Error about unstable smart cast reported within checkAndRecordPossibleCast
-                return OTHER_ERROR
+            else {
+                candidateCall.setSmartCastDispatchReceiverType(smartCastResult.resultType)
+                if (!smartCastResult.isCorrect) {
+                    // Error about unstable smart cast reported within checkAndRecordPossibleCast
+                    return OTHER_ERROR
+                }
             }
         }
 
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/DelegatingResolvedCall.java b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/DelegatingResolvedCall.java
index b61d811ab70..c1a55b4d172 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/DelegatingResolvedCall.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/DelegatingResolvedCall.java
@@ -121,4 +121,10 @@ public abstract class DelegatingResolvedCall<D extends CallableDescriptor> imple
     public boolean isSafeCall() {
         return resolvedCall.isSafeCall();
     }
+
+    @Nullable
+    @Override
+    public KotlinType getSmartCastDispatchReceiverType() {
+        return resolvedCall.getSmartCastDispatchReceiverType();
+    }
 }
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/MutableResolvedCall.java b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/MutableResolvedCall.java
index a66d17414a3..9b1968f1d19 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/MutableResolvedCall.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/MutableResolvedCall.java
@@ -25,6 +25,7 @@ import org.jetbrains.kotlin.resolve.DelegatingBindingTrace;
 import org.jetbrains.kotlin.resolve.calls.inference.ConstraintSystem;
 import org.jetbrains.kotlin.resolve.calls.results.ResolutionStatus;
 import org.jetbrains.kotlin.resolve.calls.tasks.TracingStrategy;
+import org.jetbrains.kotlin.types.KotlinType;
 import org.jetbrains.kotlin.types.TypeSubstitutor;
 
 public interface MutableResolvedCall<D extends CallableDescriptor> extends ResolvedCall<D>  {
@@ -64,4 +65,6 @@ public interface MutableResolvedCall<D extends CallableDescriptor> extends Resol
 
     //todo remove: use value to parameter map status
     boolean hasInferredReturnType();
+
+    void setSmartCastDispatchReceiverType(@NotNull KotlinType smartCastDispatchReceiverType);
 }
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCall.java b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCall.java
index d04c472bbfb..1c0f7ddceb4 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCall.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCall.java
@@ -85,4 +85,7 @@ public interface ResolvedCall<D extends CallableDescriptor> {
     DataFlowInfoForArguments getDataFlowInfoForArguments();
 
     boolean isSafeCall();
+
+    @Nullable
+    KotlinType getSmartCastDispatchReceiverType();
 }
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCallImpl.java b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCallImpl.java
index 8931a32fc2c..ac94c9b555c 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCallImpl.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/model/ResolvedCallImpl.java
@@ -94,6 +94,7 @@ public class ResolvedCallImpl<D extends CallableDescriptor> implements MutableRe
     private ConstraintSystem constraintSystem = null;
     private Boolean hasInferredReturnType = null;
     private boolean completed = false;
+    private KotlinType smartCastDispatchReceiverType = null;
 
     private ResolvedCallImpl(
             @NotNull ResolutionCandidate<D> candidate,
@@ -370,4 +371,15 @@ public class ResolvedCallImpl<D extends CallableDescriptor> implements MutableRe
     public TypeSubstitutor getKnownTypeParametersSubstitutor() {
         return knownTypeParametersSubstitutor;
     }
+
+    @Override
+    public void setSmartCastDispatchReceiverType(@NotNull KotlinType smartCastDispatchReceiverType) {
+        this.smartCastDispatchReceiverType = smartCastDispatchReceiverType;
+    }
+
+    @Override
+    @Nullable
+    public KotlinType getSmartCastDispatchReceiverType() {
+        return smartCastDispatchReceiverType;
+    }
 }
diff --git a/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.kt b/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.kt
new file mode 100644
index 00000000000..25493b567cf
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.kt
@@ -0,0 +1,22 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+class Inv<E>
+class C<R> {
+    fun bindTo(property: Inv<R>) {}
+}
+
+fun foo(x: Any?, y: C<*>) {
+    y.<!MEMBER_PROJECTED_OUT!>bindTo<!>("")
+
+    if (x is C<*>) {
+        <!DEBUG_INFO_SMARTCAST!>x<!>.<!MEMBER_PROJECTED_OUT!>bindTo<!>("")
+        with(<!DEBUG_INFO_SMARTCAST!>x<!>) {
+            <!MEMBER_PROJECTED_OUT!>bindTo<!>("")
+        }
+    }
+
+    with(x) {
+        if (this is C<*>) {
+            <!MEMBER_PROJECTED_OUT, DEBUG_INFO_IMPLICIT_RECEIVER_SMARTCAST!>bindTo<!>("")
+        }
+    }
+}
diff --git a/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.txt b/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.txt
new file mode 100644
index 00000000000..5c3d0d5e020
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.txt
@@ -0,0 +1,18 @@
+package
+
+public fun foo(/*0*/ x: kotlin.Any?, /*1*/ y: C<*>): kotlin.Unit
+
+public final class C</*0*/ R> {
+    public constructor C</*0*/ R>()
+    public final fun bindTo(/*0*/ property: Inv<R>): kotlin.Unit
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
+
+public final class Inv</*0*/ E> {
+    public constructor Inv</*0*/ E>()
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
index 66a40342938..336a482f9c6 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
@@ -7382,6 +7382,12 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                     doTest(fileName);
                 }
 
+                @TestMetadata("projectedOutSmartCast.kt")
+                public void testProjectedOutSmartCast() throws Exception {
+                    String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/generics/projectionsScope/projectedOutSmartCast.kt");
+                    doTest(fileName);
+                }
+
                 @TestMetadata("recursiveUpperBoundStar.kt")
                 public void testRecursiveUpperBoundStar() throws Exception {
                     String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/generics/projectionsScope/recursiveUpperBoundStar.kt");