Substitutions fixed for projections

compiler/frontend/src/org/jetbrains/jet/lang/descriptors/FunctionDescriptorImpl.java

@@ -151,7 +151,7 @@ public class FunctionDescriptorImpl extends DeclarationDescriptorImpl implements
         
         ReceiverDescriptor substitutedExpectedThis = NO_RECEIVER;
         if (expectedThisObject.exists()) {
-            JetType substitutedType = substitutor.substitute(expectedThisObject.getType(), Variance.IN_VARIANCE);
+            JetType substitutedType = substitutor.substitute(expectedThisObject.getType(), Variance.INVARIANT);
             if (substitutedType == null) {
                 return null;
             }

idea/testData/checker/When.jet

@@ -1,3 +1,5 @@
+fun Int.foo() : Boolean = true
+
 fun foo() : Int {
     val s = ""
     val x = 1
@@ -17,7 +19,7 @@ fun foo() : Int {
       else => 1
     }
     return when (<warning>x</warning>?:null) {
-      <error>.</error>equals(1) => 1
+      <error>.</error>foo() => 1
       ?.equals(1).equals(2) => 1
     }
 }